Towards type inlining.