[Haskell-cafe] semantics of type synonym

[Stefan Holdermans]

Dear Patrick,

> From the responses to my query, it seems that I cannot rely totally on
> the compiler for my research question which is concerned with the
> meaning of Haskell constructs I will have to consult the Haskell  
> Report.

For both practical and theoretical matters, GHC provides a very decent  
implementation of the Haskell 98 standard. Divergences from the  
standard are minor and properly documented: http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs-and-infelicities.html#vs-Haskell-defn 
  .

HTH,

   Stefan