[Haskell-beginners] type T' = T a b c
Theodore Lief Gannon
tanuki at gmail.com
Mon Aug 22 12:45:46 UTC 2016
Go in the other direction?
data T a b = T a b
type T2 a b c = T a (b, c)
type T3 a b c d = T a (b, c, d)
On Aug 22, 2016 5:40 AM, "Imants Cekusins" <imantc at gmail.com> wrote:
> David, this seem to work similar to forall...:
> synonym is not compatible with T a b.
> you see, I hope to mix synonym with original T a b in a chain of fun
> Some of the funs accept args like this:
> fun1::T a b -> a -> out1
> .. and others - like this:
> fun2::T' -> out2
> in both cases a and b are not set. However in fun1 I try to enforce type
> 'a' in the arg #2.
> Beginners mailing list
> Beginners at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners