@hackage supplemented0.5.0.3

Early termination for monads