代数データ型と再帰構造は直交する概念だろw
どこまで視野が狭いんだかw