generic-k This library provides generic functions that lower and raise Haskell values into and out of the K Semantic Framework.