型がないなら関数型、型があるならオブジェクト指向ってことだろ
Haskellはデザインパターンよりも酷い