Removed catchFails (now in KURE).
Updated MonadIO.