First attempt at monad transformer
A bit better MaybeT