`Monad list` instances will cause template-polymorphism problems - Githubissues

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

128 stars 46 forks source link

`Monad list` instances will cause template-polymorphism problems #124

Open Blaisorblade opened 2 years ago

Blaisorblade commented 2 years ago

The issue is similar to https://gitlab.mpi-sws.org/iris/stdpp/-/issues/80 and mentioned in https://github.com/coq-community/coq-ext-lib/issues/121 and https://github.com/coq-community/coq-ext-lib/pull/123#discussion_r783571726.