# Pastebin Edn5PYWb
--if I try to compile the following in a file it works : 
all' f = and . map f 
--However if I add a type like this, it throws an error : 
all' :: (a -> Bool) -> [Bool] -> Bool
all' f = and . map f

--What am I doing wrong?