I feel a similar way about typescript. It outsource the mental complexity into compile stage instead of directly on runtime.