module Main where import Prelude data Foo r = Foo { | r } test :: Foo () test = Foo {} main = Debug.Trace.trace "Done"