@hackage eq0.3.3

Leibnizian equality

Leibnizian equality