Monad list
instances will cause template-polymorphism problems
#124
Labels
Monad list
instances will cause template-polymorphism problems
#124
The issue is similar to https://gitlab.mpi-sws.org/iris/stdpp/-/issues/80 and mentioned in #121 and #123 (comment).
The text was updated successfully, but these errors were encountered: