SQL is basically the list monad, with various quotients / refinements: - Sometimes the order doesn't matter - Sometimes there are functional dependencies - Som

SQL is basically the list monad, with various quotients / refinements: - Sometimes the order doesn't matter - Sometimes there are functional dependencies - Sometimes one knows the length of the list in question is 1 (foreign key constraints)