Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Flout/

: Supertype ( Flout i ii ) ~ ( i )

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Flout _ a `AR_______` a `AR` o `AR______` Flout _ o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Flout _ a `AR_____` a `AR` tt o `AR______` tt ( Flout _ o )