It would be nice if there were a drop-in, pass-through replacement for Taxa to use in production environments. It might even just be a configuration flag: t(true) or t(false), for example.
That way, while debugging, I could use Taxa's type-checking. Then by changing one line or setting the flag differently, I could disable it in production.