[Haskell-cafe] Relations between Functor typeclass and kind