the f # computation expression zoo .
MonadTransformers andModular Interpreters