path: root/testsuite/tests/typecheck/should_fail/T1633.stderr

T1633.hs:6:18:
    Kind mis-match
    The first argument of `Functor' should have kind `* -> *',
    but `Bool' has kind `*'
    In the instance declaration for `Functor Bool'