preparing for automatic Maybe-liftings