[Haskell-beginners] Type families with kind * -> *

[Jason Dusek]

class StateFunctor sf where
  type SFMonad sf :: * -> *
  type SFValue sf
  sfmap :: (SFValue sf -> SFValue sf) -> sf -> SFMonad sf ()