[Haskell] Abstract syntax representation

[paolot at informatik.uni-bremen.de]

Hi,

I am writing translations of Haskell to specification languages. I was  
wondering whether
there already exist a representation of Haskell syntax that, in  
contrast with standard
abstract syntax, is "light" on structure (few data-types, few  
constructors) and has no
dictionary parameters.

Thanks,
-paolo