Agda.Utils.Map
data EitherOrBoth a b