Module Foo where