:: Either a b -> a package:Agda

Safe projection from Left.
maybeLeft (Left a) = Just a
maybeLeft Right{}  = Nothing