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