So

Looks like the only arrangement which makes sense is you use compile-time OR run-time. Having both makes no sense, because if you use any compile-time, there’s no point in run-time.

That solves the type problem, because there will only be one type.

Comments are closed.