Hoogle was my first stop, didn't find anything, but Hayoo is much more complete, found all of it!<br><br>"My" after2 has no less than 4 different synonymous: (oo), (.:), (comp2), (dot). and i checked my curry theory as correct.<br>I found "point2" too right beside (.:), dubbed (.^).<br>Those two inside a "pointlessfun" package (?) ^^<br><br>Hence, thanks, I found what I needed. :)<br>Do I need to close or mark the discussion as "solved" or something, somehow?<br><br>Le vendredi 8 avril 2016, Sumit Sahrawat, Maths & Computing, IIT (BHU) <<a href="mailto:sumit.sahrawat.apm13@iitbhu.ac.in">sumit.sahrawat.apm13@iitbhu.ac.in</a>> a écrit :<br>> Hi, you might wanna take a look at Hoogle and Hayoo. They allow you to search for functions using names or type signatures.<br>><br>> Hope this helps.