Something doesnt necessarily have to be a free monad to be an internal dsl / interpreter. especially if you arent being strict about adhering to monadic rewrite laws.