コール・バイ・バリューにおけるガード付き表現とガード付きパラメータ化モナドの表現

プログラムの構造的特性としてのガード付けを明確にする。