1 2 3 4 5
T11381.hs:7:23: [GHC-43991] Illegal injectivity annotation In the type family declaration for âFâ Suggested fix: Perhaps you intended to use TypeFamilyDependencies