add the Monty Hall example, readme update
add some more code in monty
add xxxIn variants of the combinators (intIn, doubleIn, ...) in the Random module, to uniform random generation in intervals
add missing inline pragmas. we want the PrimMonad constraint to be inlined away even for code where the user has built a bunch of combinators for his own types
significantly improve the docs