Make interface of Nothing the same as for Monad