module EmptyWheres where x = 2 where y = 3 instance Foo1 Int where ff = ff where g = g where type T = Int