Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Shafted Tree/
:
(
Shafted Tree
i
) ~ (
Alone
`P'T'I'TT'I`
Shafted List
`T'TT'I`
Tree
)
Covariant Functor
from
Arrow
into
Arrow
:
>
`yo`
:
Shafted Tree
a
`AR______`
a
`AR`
o
`AR_____`
Shafted Tree
o
Covariant Functor
from
Kleisli
Arrow
into
Kleisli
Arrow
:
>
`yokl`
:
Shafted Tree
a
`AR_____`
a
`AR`
tt
o
`AR______`
tt
(
Shafted Tree
o
)