TransContracts.curry 22 KB