久しぶりにJavaで遊んで、JavaでFree Monad書いた際に得られた知見を記しておきます。https://github.com/xuwei-k/free-monad-java筆者は、Javaの言語仕様や、型理論に関して、人並みかもしれないけど(?)別に専門家ではないので、あまり厳密なこと求められて…