@hackage eq4.2

Leibnizian equality

Leibnizian equality.