Compiled function argument types derived from T