Prelude is up to date
Compiling correct/GeneralizeBoth.hs
(4,1): Warning: Missing type signature: main :: String
(6,1): Warning: Missing type signature: f :: a -> String
Compilation successful with 2 warnings
"2"