@hackage eq4.3

Leibnizian equality

Leibnizian equality.