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/jon

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 https://github.com/jonifreeman/sqltyped