Abstract TFs can have injectivity information
[ghc.git] / testsuite / tests / typecheck / should_compile / T6018.hs-boot
2015-11-09  Jan StolarekAbstract TFs can have injectivity information
2015-09-03  Jan StolarekInjective type families