:: Either a b -> b package:Agda

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