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