Suggestion to improve proc type infer, and some complains

[Araq]

> when you really need it, it's not ok to use it everywhere.

So put it in a helper module.