module Foo () where