Example added: list monad