O que significa a lei da Naturalidade para Traversables?
A lei da naturalidade afirma que: t . traverse f == traverse (t . f) -- for every applicative transformer t Agora, para o RHS da lei, se f tem o tipo Applicative a => x -> a y, então t deve ser do tipo (Applicative a, Applicative b) => a y -> b y, devido à composição da função. Para...