hls-tactics-plugin-1.2.0.0: test/golden/GoldenEitherHomomorphic.expected.hs
eitherSplit :: a -> Either (a -> b) (a -> c) -> Either b c eitherSplit a (Left fab) = Left (fab a) eitherSplit a (Right fac) = Right (fac a)
eitherSplit :: a -> Either (a -> b) (a -> c) -> Either b c eitherSplit a (Left fab) = Left (fab a) eitherSplit a (Right fac) = Right (fac a)