Hi
@Neil: Is there a way to let hoogle find this kind of stuff? It would be a quite complex inference though.
Finding map ($ x) - no. As soon as you allow combination of functions in various combinations, the search space explodes. For every function you now have id map, id . map f etc - way too many combinations. As for finding sequence with the (->) instance, thats possible. Hoogle 3 is broken when it comes to Monads and higher-kinded type classes. I'm working on fixing this, and once that fix is done, its possible that Hoogle would find the sequence automatically. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
