caExp :: KeepKind -> Exp -> Exp