Implementation of a MaybeT.