@hackage eq0.3.5

Leibnizian equality

Leibnizian equality