contractible_type