@hackage eq4.0.3

Leibnizian equality

Leibnizian equality