Why? Shouldn't this work for any type a?
Michael
==========
f :: [a] -> [a]
f l = do x <- l
return x
==========
*Main> :r
[1 of 1] Compiling Main ( test.hs, interpreted )
Ok, modules loaded: Main.
*Main> f "abcde"
"abcde"
*Main> f [1,2,3,4,5]
[1,2,3,4,5]
*Main> "abcde" >>= f
<interactive>:1:12:
Couldn't match expected type `Char' against inferred type `m b'
In the second argument of `(>>=)', namely `f'
In the expression: "abcde" >>= f
In the definition of `it': it = "abcde" >>= f
*Main>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
