Speaking of interesting things you can do with type systems for database interaction, have you looked at the sqltyped library for Scala?

https://github.com/jonifreeman/sqltyped