Full-Featured LINQ-style SQL DSL

Since LINQ was inspired by functional programming, it would be great to have a type-safe SQL DSL. Maybe look into integrating opaleye since it already exists. https://hackage.haskell.org/package/opaleye