Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Given/

: Supertype ( Given i ii ) ~ ( i `AR` ii )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Arrow:

> `yok` : Given _ a `AR______` a `AR` tt o `AR______` Given _ o

Some related wrappers:

Given : i `AR_` ii `AR_____` Given i ii