let object = Kind let vObject = Kind in { arrow : object → object → vObject }