Here is a puzzle to think about. How to express all of the SQL semantics categorically? Ask @RyanWisnesky.