testsuite/tests/typecheck/should_fail/T1633.stderr


1
2
3
4
5


T1633.hs:8:18: error:
    • Expected kind ‘* -> *’, but ‘Bool’ has kind ‘*’
    • In the first argument of ‘Functor’, namely ‘Bool’
      In the instance declaration for ‘Functor Bool’