Use an Env monad in L2 --> CS