This question is in the context of the homework for Lecture 4. What is wrong with the following reasoning?
We know that
payContract is type
m (), where
m stands for the monad
Contract () PaySchema Text. Therefore
payContract = do pp <- awaitPromise $ endpoint @"pay" return
() to the variable
pp. Hence pp does not contain information about PayParams.
Obviously my argument is wrong, because
ppLovelace pp does give you the payment amount. But where exactly is the error in my logic?