fooMod :: Module
fooMod = package "foo" (defStruct (Proxy :: Proxy "Foo"))
fooMod :: Module
fooMod = package "foo" (defStruct (Proxy :: Proxy "Foo"))
fooMod = package "foo" (defStruct (Proxy :: Proxy "Foo"))