haskell - Haskell を使用した LaTeX 自然演繹証明

Question

HaTeXを使用するなど、Haskell 経由で (ここに示されているような)自然演繹証明ツリーの LaTeX ソースを作成するにはどうすればよいでしょうか? bussproofs.styやproof.styのようなLaTeX をエミュレートしたいと思います。.sty