@hackage eq0.3.0

Leibnizian equality

Leibnizian equality