Towards Global and Local Types for Adaptation