¿Qué significa la ley de Naturalidad para Traversables?
La ley de naturalidad establece que: t . traverse f == traverse (t . f) -- for every applicative transformer t Ahora para el RHS de la ley, si f tiene el tipo Applicative a => x -> a y, entonces t tiene que ser del tipo (Applicative a, Applicative b) => a y -> b y, debido a la...