論理学だの計算機科学だのそんなことはどうでもいい
ここはム板で、Haskellでプログラミングすることに関するスレだ。
関係ない話は情報学板・数学板でやれ