You can carry over constrains without importing in...
# arrow-contributors
r
You can carry over constrains without importing instances by simply keep on adding
with
to methods they use the type class.