module DC () where

data Foo a = F a a a 

z :: Foo Int
z = F 1 2 3