See [TODO](https://github.com/ermine-language/ermine-scala-core/blob/132cc27/src/main/scala/ermine/syntax/Core.scala#L280-L300), as discussed in runarorama/scala-bound#5. Waiting on resolution in scala-bound.