I had a go at writing a type-inferred composable language for database queries a few months ago: https://github.com/KMahoney/squee