@hackage eq0.3.6

Leibnizian equality

Leibnizian equality