`Monad list` instances will cause template-polymorphism problems

[Blaisorblade]

The issue is similar to https://gitlab.mpi-sws.org/iris/stdpp/-/issues/80 and mentioned in #121 and #123 (comment).