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

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