úÎC­      DUncaught Exceptions model runtime exceptions which are not checked. GIn order to declare a runtime exception it must be made an instance of UncaughtException -A type level witness of a exception handler. Throws, is the mechanism used to keep a type level  list of exceptions. 6Usually there is no need for the user of this library  to add further instances to Throws except in one 7 case: to encode subtyping. For instance if we have  an  IOException type and a FIleNotFoundException subcase, ! we need to add the instance: > instance Throws FileNotFoundException (Caught IOException l) 8 !"#$%&'()*+,-./0123456789:;<=>?@AB       CRun a safe computation DCheck even runtime (UncaughtException ) exceptions EB !"#$%&'()*+,-./0123456789:;<=>?@AB   F       !"#$%$&$'$($)$*$+$,$-$.$/$0$1$2$3$4$5$6$7$8$9$:$;$<$=$>$?$@$A$B$C$DEFGHIcontrol-monad-exception-0.3Control.Monad.Exception.ClassControl.Monad.Exceptionbase GHC.Exception SomeException fromException toException Exception WrapException wrapExceptionUncaughtException ParanoidMode NoExceptionsCaught MonadCatchcatch MonadThrowthrowThrowsEMTunEMTMonadZeroExceptionEMrunEMevalEMTrunEMTrunEMTParanoidPrivateGHC.Basefail>>=>>returnMonadFunctor Control.Monad MonadPlusapliftM5liftM4liftM3liftM2liftMunlesswhen replicateM_ replicateMfoldM_foldM zipWithM_zipWithM mapAndUnzipMjoinforever<=<>=>msumforM_forMfilterMguardmapM_mapM sequence_sequence=<<mplusmzerofmapmapLeft runEMT_gencatchEMT