Type Resolutions
Further type resolution