So if you import `IntMonoid` at the final edge or ...

# arrow-contributors

[raulraja]

So if you import IntMonoid at the final edge or concretion call site then it is available otherwise fails to compile.