Not working because we need MaybeT.