Typeclassopedia dice:.Haskell Functor ley implícita
"Un argumento similar muestra también que cualquier instancia Functor que satisface la primera ley (id fmap = id) satisfará automáticamente la segunda ley, así Prácticamente, esto significa que sólo el se debe verificar la primera ley (generalmente mediante una inducción muy directa) para garantizar que una instancia de Functor sea válida ".
Si este es el caso, ¿por qué mencionamos siquiera la segunda ley de funtores?
Law 1: fmap id = id
Law 2: fmap (g . h) = (fmap g) . (fmap h)
Aquí hay una descripción más detallada para pasar del teorema libre a la segunda ley de Fnuctor, https://github.com/quchen/articles/blob/master/second_functor_law.md – David
@David Hay un error tipográfico : "Fnuctor" -> "Functor" – fans656