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