:: Either a b -> Maybe b package:Agda

Safe projection from Right.
maybeRight (Right b) = Just b
maybeRight Left{}    = Nothing