That part can’t be done in the compiler without a ...

# pattern-matching

[raulraja]

That part can’t be done in the compiler without a complex system like the one scala uses which is also not total