. . "Haskell is a language which allows you to write type signatures for" . .