[jolux]

It's not really dynamic typing, because it's happening at compile time. Really type providers are just a specific, restricted form of code generation.