bool :: a -> a -> Bool -> a

maybe :: b -> (a -> b) -> Maybe a -> b

either :: (a -> c) -> (b -> c) -> Either a b -> c

ってのがあるんだから、

list :: b -> (a -> [a] -> b) -> [a] -> b

があってもいいと思うんだけど。