testsuite/tests/typecheck/should_fail/T10194.stderr

   1
   2 T10194.hs:7:8:
   3     Cannot instantiate unification variable ‘b0’
   4     with a type involving foralls: X
   5       Perhaps you want ImpredicativeTypes
   6     In the expression: (.)
   7     In an equation for ‘comp’: comp = (.)