等式性制約(~)の実装を見たいのですがそれらしいソースが見当たりません
ghciで:infoしてもエラー吐かれるだけです
どこにあるかご存知の方いらっしゃいませんか

ghcのバージョンは7.6.3です