[nextaccountic]

> Mostly it's a usability nightmare for typeclasses

And also for Rust traits, C++ templates, etc (those are all nonterminating)