a fun implementation of *Kanren with nice Haskell interoperability. showcases some fun Haskell featues.