equal junction kind object kind impl equal junction kind kind 