@hackage eq0.1.3

Leibnizian equality

Leibnizian equality