A type signature is a line like
that tells, what is the type of a variable.
In the example
inc is the variable and
Num a => a -> a is its type,
namely a function type.
It is considered good style to add a type signature to every top-level variable.