@hackage eq0.1.2

Leibnizian equality

Leibnizian equality