Sabemos que qualquer tipo genéricoF[_] commap método, que cumpre algumasleis, é umfunctor. Por exemplo,List[_], Option[_]eF[A] = Env => A são functores. Eu só estou querendo saber se essa abstração de functor é significativa.

Como posso usar o fato de que eles são functores? Você poderia mostrar um exemplo de computação não trivial, que usaria omap e ser realmente útil?