Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Given/
:
Supertype
(
Given
i
ii
) ~ (
i
`AR`
ii
)
Covariant Endo Functor
from
Arrow
into
Arrow:
`yo`
:
Given _
a
`AR_____`
a
`AR`
o
`AR____`
Given _
o
Covariant Endo Functor
from
Kleisli
Arrow
into
Arrow:
`yok`
:
Given _
`AR____`
a
`AR_`
Given _
`L`
Given _
`T`
ll
`T`
o
`AR_`
Given _