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’