Proposal: Remove the bogus MonadFail instance for ST