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