and in that case you need it because monad is also...
# arrow-contributors
r
and in that case you need it because monad is also looked up from the Gen companion extensions that
@extension
would have generated otherwise in the same package