In general, it'd be really nice to have compile-time access to compile-time function info like this. Arguments, their types, etc.