Category "type-deduction"

What does " Non type-variable argument in the constraint" really mean?

For example: map (+1) 2 in ghci yields <interactive>:23:1: error: * Non type-variable argument in the constraint: Num [b] (Use FlexibleContexts to