eq (hackage): Leibnizian equality.
Keywords: bsd3|library|type-system