idris-hackers/eff-tutorial — pull request #16 by joe9 (2014-10-16 23:09:30+00:00)
Title: 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