module DeferredTypeErrors where

foo :: Int
foo = ()