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

David McBride 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
> 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/539fa0c3/attachment.html>


More information about the Beginners mailing list