Currently, (in the batch queries, since they are the only ones supporting parameters) it is possible for the code to return resulting data structures that have nothing to do with the parameters given.
I would like the type system to know about the relation between input parameters and output data structures. Perhaps using type families?
Currently, (in the batch queries, since they are the only ones supporting parameters) it is possible for the code to return resulting data structures that have nothing to do with the parameters given.
I would like the type system to know about the relation between input parameters and output data structures. Perhaps using type families?