(Int|String) -> ()
((Int) -> ())&((String)->())
(Int|String) -> (Int|String)
((Int) -> Int)&((String) -> String)