enum Animal { case cat(Cat) case dog ... }
run { if case .cat(let x) = animal { return x } else { return nil } }