where the semigroup instance requires newtypes to ...
# arrow-contributors
j
where the semigroup instance requires newtypes to handle
Any
and
All
, which have different semantics?