testsuite/tests/typecheck/should_fail/T14904a.stderr


1
2
3
4
5


T14904a.hs:9:6: error:
    • Expected kind ‘forall (a :: k1). g a’, but ‘f’ has kind ‘k0’
    • In the first argument of ‘F’, namely ‘(f :: forall a. g a)’
      In the type family declaration for ‘F’