> the compiler is unable to type-check this expression in reasonable time

good: clear, honest communication
bad: that means the language design is a bit fucked, right? I shouldn't be seeing this several times a day.

@fasterthanlime it’s pretty fucked at the moment, but this issue is actively being worked on