liftMaybe package:Agda

Lift a maybe to an Alternative.