Haskellのドキュメント内で「あれとこれが同型である」ということを記号的に書きたいときに、`~`が型のEqualityに取られているせいで適当な記号がない問題が生じる
自然言語で書くしかないのか

ついでにCoercibleにも適当な記号がない

後方互換性のために`=`が使えない事情もわかるが