@hackage eq4.0.2

Leibnizian equality

Leibnizian equality