handle ambiguous kinds and types