Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Construction/

: Supertype ( Construction t i ) ~ ( Fixed ( Along i `T'TT'I` t ) ) : Objective ( Construction t i ) ~ ( i `P` Supertype ( Construction t i ) ) : ( Construction Maybe i ) ~ ( Nonempty List i ) : ( Construction List i ) ~ ( Tree i )

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Construction t a `AR_______` a `AR` o `AR______` Construction t o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Construction t a `AR_____` a `AR` tt o `AR______` tt ( Construction t o )

Some related wrappers:

> Build : Supertype ( Construction t i ) `AR__` Construction t i