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