*>
ApplicativeOps
>>
MonadOps
>>=
MonadOps
|+|
SemigroupOps
|@|
ApplicativeOps
~>
fp