Added (back) monad reification incl. an example