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

If you want to have something that can ignore a variable, you can just fill it in with (). T Int Char () (), then have a function :: T a b () () -> IO (). You can clean it up a little by making type aliases. type T2 a b = T a b () (), type T3 a b c = T a b c (). On Mon, Aug 22, 2016 at 7:32 AM, Imants Cekusins wrote:

T' and T a b seem to not mix well.

T' can not be passed to a function expecting T a b and vice versa

any suggestions? ​

_______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners