@hackage eq0.3.2

Leibnizian equality

Leibnizian equality