:9:1: error: • Overlapping instances for C [Int] arising from a use of ‘f’ Matching instances: instance [safe] C [Int] -- Defined at :6:10 instance [safe] C a => C [a] -- Defined at :8:10 • In the expression: f [4 :: Int] In an equation for ‘it’: it = f [4 :: Int]