@hackage eq4.0.4

Leibnizian equality

Leibnizian equality