快速问题
type Bag a = [(a,Int)]
我想将Bag插入列表中
例如，考虑多重集{2, 3, 3, 5, 7, 7, 7, 8}，其具有以下表示形式（以及其他形式）。
[(5,1),(7,3),(2,1),(3,2),(8,1)]
Ins:: Eq a => a -> Bag a -> Bag a
Ins i [] = [(i,1)]
Ins i ((x,c):xs) = (if i ==x then (x,c+1):xs else (x,c):ins i xs)
输出为
Invalid type signature: Ins :: ...
Should be of form <variable> :: <type>