さっきの↓では [Any] に推論された上でエラーになってる？ <stdin>:8:5: error: in argument type '[Any]', 'Any' does not conform to expected type 'Error' foo([AError(), BError()])