Heh: https://hackage.haskell.org/package/product-profunctors-0.11.0.3/docs/Data-Profunctor-Product-Examples.html#v:cl_map https://hackage.haskell.org/package/p

Heh: https://hackage.haskell.org/package/product-profunctors-0.11.0.3/docs/Data-Profunctor-Product-Examples.html#v:cl_map https://hackage.haskell.org/package/product-profunctors-0.11... > cl_map :: Default Zipper a b => (b -> r) -> a -> [r] > A challenge from a Clojurist on Hacker News (https://news.ycombinator.com/item?id=23939350 https://news.ycombinator.com/item?id=23939350) The referenced comment: > I think the general feeling is that there are some code patterns that are safe and easy to do with dynamic typing, but impossible with simple type systems or more complex with more advanced type system. > An example would be Common Lisp's `map` function [0] (it takes a number of sequences and a function that has as many parameters as there are sequences). It would be hard to come up with a type for this in Java, and it would be a pretty complicated type in Haskell.