LOGO-like turtle graphics DSL by free monads