>several of the examples are useless (such as HList) I tried to use a similar (though more streamlined) Vinyl [1] for implementing database querying that glued

>several of the examples are useless (such as HList) I tried to use a similar (though more streamlined) Vinyl [1] for implementing database querying that glued and sliced records to match the queries, but alas, GHC choked and died on the type-level list operations. That was several years ago though and I didn't touch Haskell since then, maybe something has changed. [1] https://hackage.haskell.org/package/vinyl https://hackage.haskell.org/package/vinyl