[Haskell-beginners] type T' = T a b c
toad3k at gmail.com
Mon Aug 22 12:23:18 UTC 2016
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 <imantc at gmail.com> 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 at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners