IMO the ackchyually guy would be a better fit for Haskell. “Ackchyually monad is a monoid in the category of endofunctors!”