module ShouldCompile where

-- !!! Record declarations with zero fields are allowed
data Foo = Foo{}
