Opaleye’s sugar on top: SQL in the type system where it belongsOpaleye’s sugar on top SQL in the type system where it belongs People often talk of how solutions fall naturally into place when we program in Haskell and embrace its type system. This article walks us through that process, serving as a gentle introduction to some practical uses of advanced features of the Haskell type system within the context of Opaleye and SQL. I invite you to continue reading
