<div dir="ltr">Hello --<div><br></div><div>I'm wondering if there is any "name" for a functor "F" that has a function with the following type:</div><div><br></div><div>(a -> F b) -> F (a -> b)</div>

<div><br></div><div>or</div><div><br></div><div>(F a -> F b) -> F (a -> b)</div><div><br></div><div>If there is, I would imagine it being related to Applicative in some way, though clearly there are many Applicatives that do not have an implementation of this.</div>

<div><br></div><div>Thanks.</div><div><div><br></div>-- <br>gregory malecha
</div></div>