let object = Kind in { product : object → object → object }