module Foo where import Data.List id1 :: a -> a id1 = 5