@hackage eq0.1.1

Leibnizian equality

Leibnizian equality