@hackage eq4.2.1

Leibnizian equality

Leibnizian equality.