recursionscheme

オブジェクト指向におけるVisitorパターンは、F代数によるμ再帰を Church encoding したもの