To find out, if a type is a higher kinded type ghci provide:
Prelude> :k Maybe
Maybe :: * -> *
And tried on typeclass like:
Prelude> :k Functor
Functor :: (* -> *) -> Constraint
Why can I ask for higher kinded type on typeclass? What does constraint mean?