[Haskell-beginners] type T' = T a b c
imantc at gmail.com
Mon Aug 22 12:40:52 UTC 2016
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...
More information about the Beginners