{-# LANGUAGE LinearTypes #-}

-- comment out the following line to see the
-- type error:
{-# OPTIONS -fdefer-type-errors #-}

foo :: Int %1-> Int
foo _ = id