Work done on more robust exception handling
Work done on more robust exception handling

Threads no long crash. However apparently mempty doesn't mean fail like
mzero often does

gridaphobe/liquid-fixpoint