Cont
0.0.0
Cont
/
arrow
/
RestrictedCont
/
redeem
redeem
open
fun
<
B
>
redeem
(
f
:
(
R
)
->
B
,
g
:
(
A
)
->
B
)
:
RestrictedCont
<
Nothing
,
B
>
Content copied to clipboard
Sources
common source
Link copied to clipboard