that looks reasonable. As I understood the reason ...

# functional

[pakoito]

that looks reasonable. As I understood the reason to use implicits is to emulate typeclasses within existing language semantics. If typeclasses as such are introduced as a first class construct that’s opt-in like coroutines, awesome