La combinación de type providers, consultas y programación funcional fuertemente tipado es conocido como "information rich