T10935.hs:5:11: warning: [-Wmonomorphism-restriction] • The Monomorphism Restriction applies to the binding for ‘y’ • In the expression: let y = 1 + 1 in (y, y) In an equation for ‘f’: f x = let y = 1 + 1 in (y, y) Suggested fix: Consider giving ‘y’ a type signature