&&&
BothComposeOps
-->:
ApplicationCompose
:*:
BothCompose
:+:
EitherCompose
<=>
prelude
^^^
AbsorptionOps
|||
EitherComposeOps