Get rid of compile()?

[vkarpov15]

In hindsight, there doesn't seem to be any real need for compile(). The original intent was the ability to modify the type before actually compiling it. But because types already have pick(), omit(), transform(), etc. it isn't really necessary. The extra need to call compile() just adds an extra concept and makes it easier to shoot yourself in the foot.