tagless final

2022-01-31 OCaml 杂记：用对象代数解决表达式问题