@hackage eq0.3.4

Leibnizian equality

Leibnizian equality