Types Provides allows compile time checks for your application. Is your SQL syntax right? Are you correctly using the columns from that csv file? It provides a higher level of correctness in your code by having the compiler check your work. Lets walkthrough on what it takes to get a SQL type provider running in F# to ensure your SQL usage is accurate.