ContTがfused-effectsで扱えない（Cont effectとContCは定義できない）らしい以上、ContT (FooC (BarC (...とやるのが正解か。