@hackage eq4.0

Leibnizian equality

Leibnizian equality