eitherSplit :: a -> Either (a -> b) (a -> c) -> Either b c
eitherSplit = _