hskpipe This is an implementation of the K| core language used by Shen, in Haskell by Remy Goldschmidt