I had been thinking so for about five years.
But such checkpoints
give me hope
I remember how implicit function type was motivated.
Implicit function types are a surprisingly simple and general way to make coding patterns solving these tasks abstractable, reducing boilerplate code and increasing applicability.
So we just need to wait when DelayedInit will be deleted and there will appear enough boilerplate 