T11381.hs:7:23: [GHC-43991]
     Illegal injectivity annotation
     In the type family declaration for ‘F’
     Suggested fix: Perhaps you intended to use TypeFamilyDependencies