when you use `@instance(XXX::class)`, which we’ll ...
# arrow
p
when you use
@instance(XXX::class)
, which we’ll already do in
arrow-instances-core
for the datatypes in core like Either.