liftMaybe package:unification-fd

Lift an MaybeK into an MaybeKT.