Add Maybe monad instance. Still does not work