[Haskell-cafe] More experiments with ATs

Brent Yorgey byorgey at seas.upenn.edu
Mon Jul 5 09:58:38 EDT 2010


On Sun, Jul 04, 2010 at 10:31:34AM +0100, Andrew Coppin wrote:  
>
> I have literally no idea what a type family is. I understand ATs (I think!), 
> but TFs make no sense to me.

ATs are just TFs which happen to be associated with a particular
class.  So if you understand ATs then you understand TFs too, you just
didn't know it. =)

-Brent


More information about the Haskell-Cafe mailing list