Compiler Engineering for Substructural Languages I: Day Convolution for Covers

Lets define some combinators