Data declaration with constraint
I have declared
data C a => T a = Cons a
and I hoped that now the type checker knows,that every value of type
instance Vector T where add (Cons x) (Cons y) = Cons (x+y) -- requires Num constraint on type a
In Haskell 98, only functions can have type constraints.The type constraint of a
The designers of Haskell 98 do now think, that it was a bad decision to allow constraints on constructors.
You could use ghc's Generalised Algebraic Data Structures (GADTs) to add an implicit context to the data constructors.
There has been some discussion about whether it is sensible to want this.A Haskell 98 workaround is to use multi-parameter type classes, where