代数的データ型 loading ...