{-# LANGUAGE DatatypeContexts #-}
{- In 2.05 this one crashed with

	Fail: "basicTypes/Id.lhs", line 990: incomplete pattern(s) 
		to match in function "dataConFieldLabels"

   Reason: dsExpr (RecordCon ...) didn't extract 
	   the constructor properly.
-}

module ShouldCompile where

data Eq a => Foo a = Foo { x :: a }

foo :: Eq a => Foo a
foo = Foo{}