That's kinda cool. I bet you could take that to the next step and allow arbitrary code for validation of types/arguments at compile time.