Functional Pearl: A SQL to C Compiler in 500 Lines of Code