This hexagon architecture looks a lot like a free monad interpreter.