caseAbstract :: KeepKind -> Module -> Module