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
must bind ()
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?