Constrained Type Families?

Evan Austin e.c.austin at
Wed Mar 9 00:17:40 UTC 2016

GHC Devs,

The wiki page for Phase I of Dependent Haskell describes an approach to constrained type families: <>

Did that land in GHC 8.0 and, if so, is the updated syntax documented somewhere?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list