Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Shafted List/

: Supertype ( Shafted List i ) ~ Basetype ( Shafted List i ) ~ ( List i `P` List i )

Covariant Functor from Arrow into Arrow:

> `yo` : Shafted List a `AR______` a `AR` o `AR_____` Shafted List o

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Shafted List a `AR_____` a `AR` tt o `AR______` tt ( Shafted List o )

Available components of natural transformations:

: Shafted List `C'AR` List : List `C'AR` Shafted List

Available instantiated morphisms:

> empty : Shafted List i