wiki:ClosedTypeFamilies

Version 1 (modified by guest, 6 years ago) (diff)

WIP thinking about closed type families

Closed Type Synonym Families

Currently thinking about adding Closed Type Synonym Families to GHC. Currently WIP.

type family Foo a b c where
  Foo..

Overlapping is allowed here, as we can take the rewrites in top-bottom order