サンクは二回以上評価しても同じなので必要なら一回だけ評価してメモ化するよね
IOは毎回結果が異なるので一回で終わらないがそれ以外はサンクと同じ物だよね
モナドは何の変哲もない型クラスだね