@hackage eq3.0

Leibnizian equality

Leibnizian equality