>=>

IOKleisli IOKleisli

>>=

IO

?

WithTernaryOp WithTernaryOp