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