isNestedLam (Case ca e) = any canl ca || isNestedLam e
  where canl (CaseArm _ r) = isNestedLam r
isNestedLam (Case ca e) = any canl ca || isNestedLam e
  where canl (CaseArm _ r) = isNestedLam r
isNestedLam (Case ca e) = any canl ca || isNestedLam e
  where canl (CaseArm _ r) = isNestedLam r