MAlonzo.Code.Function.Identity.Categorical
d_Identity_8 :: T_Level_14 -> () -> () Source #
d_functor_12 :: T_Level_14 -> T_RawFunctor_24 Source #
du_functor_12 :: T_RawFunctor_24 Source #
d_applicative_14 :: T_Level_14 -> T_RawIApplicative_38 Source #
du_applicative_14 :: T_RawIApplicative_38 Source #
d_monad_16 :: T_Level_14 -> T_RawIMonad_32 Source #
du_monad_16 :: T_RawIMonad_32 Source #
d_comonad_18 :: T_Level_14 -> T_RawComonad_22 Source #
du_comonad_18 :: T_RawComonad_22 Source #