Type provider first test