SQL could be improved somewhat by introducing composable query fragments with statically-typed interfaces. I begin by explaining two areas (testing and reusing business logic) where SQL does very poorly. Then I explain my solution, and how it addresses the problems. Contents Motivation Testing Business Logic Duplication Denormalization Views The Solution Functors Functors for Testing Functors for Business Logic Conclusion Appendices Apendix: Generics Appendix: Generalizing Business Logic Appendi...