A lot of renewed interest in effect systems and to a lesser extent co-routines. I appreciated the contrast to higher-ordered functions which are conceptually simple construct but start requiring additional syntax of the language as effects are encoded. Compare this to coroutines that are more complex but could require less syntax for effects.