sum :: forall a[2] . Num a[2] => List a[2] -> a[2]
sumColl :: forall v[-2] . Collects v[-2], Num (Elem v[-2]) => v[-2] -> Elem v[-2]
main :: Int
42