throwError package:grisette

Is used within a monadic computation to begin exception processing.
throwError with MergingStrategy knowledge propagation.