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

[Imants Cekusins]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/f03f5280/attachment.html>