cee72023fa
It doesn't work now since anyway it's required to obtain type constructor At the same time, now it's not very expensive to obtain the constructor since it's just a lookup tag