An extensible effect system built out of comonads and Day convolution. - View it on GitHub