Hi, I'd like to work on embedding query statements into the haskell language by using template haskell to automatically derive insert and select functions having proper types automatically. sqli for Java already does it. resulting in something as: (rows :: [ (Int, String) ]) = $( select "SELECT intV, stringV FROM table") $( ) means a function is automatically created returning a list of tules of type (Int, String). Because haskell is strongly typed the function select creating the the type safe function must get to know which type the query will return. When using INSERT statements it would be nice to also now which type of parameters have to be passed. Does MonetDB provide kind of query function WhichInOutTypesDoesQueryHave("SELECT ..") or WhichInOutTypesDoesQueryHave("INSERT INTO FOO (abc,def) VALUES (?,?)") This way syntax and semantics could be checked at compile time. Sincerly Marc Weber