I just noted that ST is an instance of MonadFail, with fail throwing an error. This seems utterly contrary to the purpose of MonadFail! Can we please remove this instance? David Feuer