Qual é o termo geral para um functor com uma estrutura semelhante à do QuickCheckpromote função, ou seja, uma função da forma:

promote :: (a -> f b) -> f (a -> b)

(este é o inverso deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> f b)) Existe algum funcionamento com essa operação, além de(->) r eId? (Tenho certeza que deve haver). A pesquisa do Quickcheck no Google apenas aumentou a documentação do QuickCheck, que não fornecepromote em qualquer contexto mais geral AFAICS; pesquisar SO por 'promoção de verificação rápida' não produz resultados.