Fix pure for MaybeT