The warning can be supressed with an annotation th...

# arrow

[raulraja]

The warning can be supressed with an annotation though which we will include in the base interface users can mix in in their algebras to remove that noise