1{-# LANGUAGE Safe #-} 2{-# LANGUAGE FlexibleInstances #-} 3 4-- | Same as `SH_Overlap5` but dependencies are now inferred-safe, not 5-- explicitly marked. Compilation should still fail. 6module SH_Overlap6 where 7 8import safe SH_Overlap6_A 9 10instance C [a] where 11 f _ = "[a]" 12 13test :: String 14test = f ([1,2,3,4] :: [Int]) 15 16