Removed fake modules.
Added function throwComputation.
More precise type synonyms.
Added the EventT monad transformer.