@hackage supplemented0.5.1

Early termination for monads