1either' :: (a -> c) -> (b -> c) -> Either a b -> c
2either' = _
3