Type provider, erased types, splicing