A concatenative programming language embedded in haskell using the Free monad.