Make equality constraints in kinds invisible
[ghc.git] / testsuite / tests / ghci / scripts / T15872.script
1 :l T15872
2
3 :t MkFun
4 :k Fun
5 :i Fun
6
7 :set -fprint-explicit-kinds
8 :t MkFun
9 :k Fun
10 :i Fun