@hackage eq4.0.1

Leibnizian equality

Leibnizian equality