func foo(f: (Cat) -> Void) { ... } func consumeFoo(_ f: ((Animal) -> Void) -> Void) { ... } consumeFoo(foo) (edited)