# Type signature

### From HaskellWiki

A **type signature** is a line like

inc :: Num a => a -> a

that tells, what is the type of a variable.

In the exampleinc

Num a => a -> a

namely a function type.

It is considered good style to add a type signature to every top-level variable.