family
with closed family helpers.
-Original Message-
From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-
users-boun...@haskell.org] On Behalf Of AntC
Sent: 24 June 2013 03:59
To: glasgow-haskell-users@haskell.org
Subject: Re: Repeated variables in type family
Richard Eisenberg eir at cis.upenn.edu writes:
... The plan of action is to use the check labeled (B)
on the wiki page. This check does *not* ban all nonlinear type families.
Thanks Richard, great! Then the focus of attention moves to infinite types.
I don't think anybody intentionally