@hackage supplemented0.5.0.2

Early termination for monads