That's all happening at compile time. I only meant to say that the function's inferred type isn't what you'd expect.