module Foo where

foo :: a
foo = undefined