type x＝(_:x)＝&gt;(_:a)＝&gt;b;