PVillela (8) [Avatar] Offline
#1
Shouldn't the Applicative identity laws be generalized from unit(u: Unit) to unit(x: X) for any type X? I.e.:

map2(unit(x), fa)((_,a) => a) == fa
map2(fa, unit(x))((a,_) => a) == fa

instead of:

map2(unit(()), fa)((_,a) => a) == fa
map2(fa, unit(()))((a,_) => a) == fa