sophia/test/contracts/polymorphism_non_payable_interface_implement_payable.aes

payable contract interface I =
    payable entrypoint f : () => int

contract interface H : I =
    payable entrypoint f : () => int

payable contract C : H =
    entrypoint f() = 123