Bad typecheck in map, foldl, foldr

[anonymous]

(require (planet krhari/pfds:1:5/catenablelist))

(map (λ (+ x 0)) (list 1 3 4))

. Type Checker: The type of list-map cannot be converted to a contract in: (map (λ (+ x 0)) (list 1 3 4))

(foldl + (list 1 3 4))

. Type Checker: The type of list-foldl cannot be converted to a contract in: (foldl + (list 1 3 4))

(foldr + (list 1 3 4))

. Type Checker: The type of list-foldr cannot be converted to a contract in: (foldr + (list 1 3 4))