<div dir="ltr"><div>According to <a href="http://zvon.org/other/haskell/Outputprelude/elem_f.html">this</a> <font face="monospace">elem</font> is </div><div><br></div><div><font face="monospace">Eq a => a -> [a] -> Bool<br></font></div><div><br></div><div>but according to my ghci :t it's this</div><div><br></div><div><font face="monospace">elem :: (Foldable t, Eq a) => a -> t a -> Bool<br></font></div><div><br></div><div>I understand the first, but not the second, especially with the <font face="monospace">t</font>. What is this saying extra, different from the first one?</div><div><br></div><div><br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>⨽<br></div>Lawrence Bottorff<div>Grand Marais, MN, USA</div><div><a href="mailto:borgauf@gmail.com" target="_blank">borgauf@gmail.com</a></div></div></div></div>