@hackage eq4.1

Leibnizian equality

Leibnizian equality.