:: (x -> y) -> (p -> q) -> Either x p -> Either y q package:grisette

Lift conversion to symbolic functions to binary type constructors.