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