corrected Effect.Random sample code on Page 15

corrected Effect.Random sample code on Page 15

Without this patch, compiling the example has the below error message

*eff> :r
Type checking ./eff.idr
eff.idr:65:7:When elaborating right hand side of guess:
Can't resolve type class Applicative m
Metavariables: Main.guess