>>407
そうだろ？普通は代数データ型へのパターンマッチングとして処理するし、
実際、>>378は代数データ型に直訳できるようなコードだ。
単にパターンマッチングではなく条件分岐しているというだけの違いでしかない。

それを>>374のように「型で分岐する必要がある」とか言い出す馬鹿がいるから
そこを笑われてるんじゃねーの？