1 2 3 4 5
T10519.hs:5:18: warning: Found hole ‘_’ with inferred constraints: Eq a In the type signature for: foo :: forall a. _ => a -> a -> Bool