@Luke - Hmm... interesting. Thanks for the comment. I'm trying to figure out how limiting this is... can you provide a more illustrative example or maybe just talk about how that facility gets used in Haskell?