&gt; You could invent a total different implementation for the list monad, for the maybe monad, etc (if you respect the laws).<p>Could you show such a different implementation for either list or maybe?