:: (a -> c) -> (b -> d) -> Either a b -> Either c d package:grisette

Lift conversion to symbolic functions to binary type constructors.