equal choic kind object kind impl equal choic kind kind 