:: (x -> y) -> (p -> q) -> Either x p -> Either y q package:utility-ht