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

Jason Dusek jason.dusek at gmail.com
Thu Apr 23 13:27:00 EDT 2009


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


More information about the Beginners mailing list