jeff.polakow: > Hello, > > You will be even more surpised to find out that: > > > > bar = (fst foo, snd foo) > > > > is considered correct. Does this hint give you any insight? > > > This tells me that GHC definitely has a bug, or at at best an infelicity. > Hey Jeff, File a bug here as guest/guest: http://hackage.haskell.org/trac/ghc/newticket?type=bug Cheers, Don