Choudhuryand Krishnaswami. Recovering Purity with Comonads and Capabilities. 25 Nov. 2019.