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