repaired type curried use of propEq