module Foo where foo = undefined