ContT
#cats
#MonadTransformer
#Monad
概要
継続
計算
普通のプログラミングでは関数呼び出しでサブルーチンを実行して、returnで元の場所に戻ってくる(処理が戻って来てほしい場所をコールスタックに積んでいる)
継続スタイルでは、次に行う処理も一緒に渡す→次の処理を明示的に指定している(returnでは文脈に沿って適宜戻っている)