"prompting" monad that allows splitting the description of a computation from the implementation of the effects used in that computation.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.