26 Feb
2008
26 Feb
'08
7:56 p.m.
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