Unambiguous types