[erik_seaberg]

It’s not always laziness, in Java

  stream.map(f)

doesn’t allow f to declare any checked exceptions. We could catch and wrap everything but that obscures the useful code without any improvement in safety.