For the past few months, I have been working on an experimental functional/data language called Morel. SQL has several deficiences relating to nested collections, higher-order functions and type system. After several months trying to figure out how to add these features to SQL, I noticed that they were basically the defining characteristics of a functional programming language. I figured, rather t