ghc/compiler/tests/typecheck/should_fail/tcfail061.hs

   1 --!! signature bugs exposed by Sigbjorne Finne
   2 --
   3
   4 type Flarp a = (b,b)
   5
   6 --More fun can be had if we change the signature slightly
   7
   8 type Bob a = a
   9
  10 type Flarp2 a = Bob (b,b)