It seems like this distinction could be done at compile time instead of at runtime.