Monad ABXY

<
>