如果f::Int-[Int]-[Int] fx[]=[x] fx(y:ys) |x*y0=[x,y] |otherwise=fxys那么函数f可以扩展为重载的函数 A: f::Orda=a-[a]-[a] fx[]=[x] fx(y:ys) |x*y0=[x,y] |otherwise=fxys B: f::Showa=a-[a]-[a] fx[]=[x] fx(y:ys) |x*y0=[x,y] |otherwise=fxys C: f::Numa=a-[a]-[a] fx[]=[x] fx(y:ys) |x*y0=[x,y] |otherwise=fxys D: f::Eqa=a-[a]-[a] fx[]=[x] fx(y:ys) |x*y0=[x,y] |otherwise=fxys