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

[Theodore Lief Gannon]

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
> 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/18a54b92/attachment.html>