4 ms·Yes, and that algebraic data type you defined is a monad, whether you acknowledge and use that fact or not.by smadge 8y agoYes, and that algebraic data type you defined is a monad, whether you acknowledge and use that fact or not.