Re: [Haskell-beginners] type T' = T a b c

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" 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 calls.

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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners