module Foo where

foo = undefined