Prelude> foo :: Int -> Int :1:0: Not in scope: `foo'