catchError package:Agda

Preserve the state of the failing computation.