:: Either a b -> b package:protolude