Ability to fold types.