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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
