Re: [Haskell-cafe] What's this pattern called?

Thanks for all the pointers, guys. You've been very helpful. I also found Type-indexed data types (Hinze et al) to be a good source. Much appreciated! Martijn. Martijn van Steenbergen wrote:

...

data ExprF r