when you use Haskell syntax to explain a function’s type signature