Get ready for type levels.
Proper type generalization.