O'Reilly logo
  • Steven Petrie thinks this is interesting:

The type keyword introduces a type synonym

From

Cover of Real World Haskell

Note

But:
*Main> :type CustomerID

<interactive>:1:1: Not in scope: data constructor ‘CustomerID’