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'