Thank you everyone. I've been utterly amazed at the number of fast,
helpful responses I've gotten--Jay himself, Noel from Untyped, Shriram
and more. Honestly, I hadn't expected such a fast response to a
question asked on a weekend about a highly specialized area. It's an
embarrassment of riches, honestly.
--Dks
PS: And another one just came in as I was writing this. I love this
community. :>