Size: a a a
TK
TK
1, F : X -> X
F : X -> Xк
1, F : X -> X
F : X -> XTK
к
TK
unit?к
Maybe a, а `Maybe`)к
TK
к
newtype Compose f g x = Compose (f (g x))
Compose :: (Type -> Type) -> (Type -> Type) -> (Type -> Type)
Compose Maybe Maybe :: Type -> Type
join ~:: Compose Maybe Maybe ~> MaybeTK
forall x. 1 x -> F x, где 1 x = x, то есть alpha :: x -> F xforall x. 1 x -> F xк
forall x. 1 x -> F x, где 1 x = x, то есть alpha :: x -> F xforall x. 1 x -> F xк
a : 1 ~> F (он же forall x. 1 x -> F x, он же forall x. x -> F x, так как forall x. 1 x = x по определению `1`) и есть композиция (и там еще несколько законов), то это моноид в категории эндофукторов X -> X или монада в категории XTK
Oℕ
Oℕ
IY
IY
NS
join по-хашкельному произведениеreturn - единица