@hackage eq0.3.7

Leibnizian equality

Leibnizian equality