மின்னஞ்சல் பதிவு: Linear-use CPS translations in the Enriched Effect Calculus