2011/3/2 Yves Parès <limestrael at gmail.com>: > Is what I'm trying to do a common technique to type-ensure contexts or are > there simpler methods? I don't understand your problem well enough to be able to venture a solid opinion on this. Sorry! What you have detailed so far doesn't sound too complex, though. Max