[Haskell-cafe] Problem with Python AST

Thomas Schilling nominolo at googlemail.com
Tue Feb 26 19:56:25 EST 2008

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

More information about the Haskell-Cafe mailing list