[Haskell-cafe] Can I allow multiple rigid type variables?

[Brandon Allbery]

On Fri, Jan 13, 2017 at 12:55 AM, Cody Goodman <
codygman.consulting at gmail.com> wrote:

>
> What exactly does (as ++ bs) ~ (bs ++ as) mean?


It tells the typechecker that the parameters to type-level (++) can be
swapped and still produce the same result type (that is, type-level (++) is
commutative).

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170113/3b21de54/attachment.html>