[Haskell-cafe] Problem with Python AST

[Thomas Schilling]

On 22 feb 2008, at 17.31, Roel van Dijk wrote:

> Otherwise I need pattern matching at the type
> level to bind the reqLoop and reqFun type variables (is such a thing
> even possible?):

Yep.  You use type-classes.  For some examples see [1].

   [1] .. http://www.haskell.org/haskellwiki/Type_arithmetic

/ Thomas