:: Maybe a -> MaybeT m a package:automaton

Convert a Maybe computation to MaybeT.