`case l: Left`