An interpreter for a Joy like concatenative language using free monads in Haskell