Closed sorki closed 2 years ago
Expands vec to f a and adds Applicative and Eq constraints.
vec
f a
Applicative
Eq
Allows us to drop some redundancy and treat our previous vec as functors. Additionally some identities like translate (pure 0) are now discarded.
translate (pure 0)
Expands
vec
tof a
and addsApplicative
andEq
constraints.Allows us to drop some redundancy and treat our previous
vec
as functors. Additionally some identities liketranslate (pure 0)
are now discarded.