We need to simplify payment by factoring the notion of address, pubkeyhash and value. Ideally, we want to be able to write paysPK alice dat 3 where alice is a wallet and 3 represent 3 ada. We would also want to be able to write paysPK myAddr dat myValue without to have to manually cast things. This could be done be introducing relevant type classes and instances, as we did in the past for PubKeyHash.
We need to simplify payment by factoring the notion of address, pubkeyhash and value. Ideally, we want to be able to write
paysPK alice dat 3wherealiceis a wallet and3represent 3 ada. We would also want to be able to writepaysPK myAddr dat myValuewithout to have to manually cast things. This could be done be introducing relevant type classes and instances, as we did in the past forPubKeyHash.