-
Richard Eisenberg authored
As documented in the users' guide, you can now write type family Foo a where .. in a hs-boot file to declare an abstract closed type family.
9082111d
As documented in the users' guide, you can now write type family Foo a where .. in a hs-boot file to declare an abstract closed type family.