<div dir="ltr"><div>Hi,</div><div><br></div><div>> * Couldn't match expected type `t0 Char' with actual type `Char'<br>> * In the second argument of `elem', namely `x'<br>>   In the second argument of `($)', namely '-' `elem` x<br>>   In the expression: not $ '-' `elem` x <br></div><div><br></div><div>Hope the other answers helped. FWIW, just wanted to point out that for me these kinds of error messages sometimes used to be confusing since the type of `elem` is `(Foldable t, Eq a) => a -> t a -> Bool`, so the typechecker tells you it wants to unify `t0 Char` (where `t0` is something `Foldable`) with `Char`. As Mr. Klink wrote, it looks like you wanted `t0` to be `[]`; I used to get confused since I was only working with lists and the extra `Foldable` genericity made it harder to see that I was still just working with lists.</div><div><br></div><div>Best,</div><div><br></div><div>toz</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"></blockquote></div></div>