Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Apply/

You can use this label everytime you want to pick default behaviour for Kleisli morphism.

> Apply : t i `AR__` t `L` tt `T` _ `T` i