Hi cafe, Is such a thing possible, add :: Int -> Int -> Int add x y = x + y -- a list of partially applied functions adds = [add 3, add 5, add 7, add 3, add 5, add 8] -- an example usage of the list k = map (\ f -> f 10 ) adds add3s = filter (?) adds -- add3s = [add 3, add 3] addEvens = filter (?) adds --addEvens = [add 8] I want to have functions in place of the ? signs. I guess one would need a way of extracting the applied value from a partially applied function (or totally, doesn't matter) I came across such a structure while designing an algotihm and used data structures to represent functions and solved the problem. But this doesn't seem very *cute* to me and requires some bolier-plate (if you have a lot of this structure everywhere) , that's why I am asking for your precious suggestions. Best, -- Ozgur Akgun