Say I am looking for an "applicative functor type", and I don't know its name. Now, they typically have a map2, an andMap or an apply function, so I can search for the name. But I really want to search for something like f a -> f (a -> b) -> f b or (a -> b -> c) -> f a -> f b -> f c, where f matches any type (but the same for all f's). Possible?
Say I am looking for an "applicative functor type", and I don't know its name. Now, they typically have a
map2
, anandMap
or anapply
function, so I can search for the name. But I really want to search for something likef a -> f (a -> b) -> f b
or(a -> b -> c) -> f a -> f b -> f c
, where f matches any type (but the same for all f's). Possible?