:set -XTypeOperators
:i (~)
:k (~)
:set -fprint-equality-relations
:i (~)