[Haskell-cafe] Yet more type confusion

[Dan Doel]

On Monday 20 November 2006 02:44, chris moline wrote:
> > sep :: (a -> Bool) -> [a] -> [[a]]
> > sep p = takeWhile (/= "") . iterT (breakDrop p)

> Setting the type signature of sep to (Char -> Bool) ->
> [Char] -> [[Char]] fixes the problem but I don't get
> why the signature isn't as general as I think it
> should be. Something to do with defaulting perhaps?

The problem is (I believe) 'takeWhile (/= "")'. That's a string, which causes 
everything to be specialized to Char. You want 'takeWhile (not . null)'.

-- Dan