Thanks: Inferred type is not general enough

Thanks to all who responded.

Re: Inferred type is not general enough

"Cagdas Ozgenc" <[EMAIL PROTECTED]> writes: > The following function generates a type error. > > headColumnwise :: [a] -> a > headColumnwise line = [ head line | line <- p ] Surely, the parameter should be "p"? > ERROR ch6ex1.hs:14 - Infer

Inferred type is not general enough

Hi, The following function generates a type error. headColumnwise :: [a] -> a headColumnwise line = [ head line | line <- p ] ERROR ch6ex1.hs:14 - Inferred type is not general enough *** Expression: headColumnwise *** Expected type : [a] -> a *** Inferred type : [[a]] -> [a]