有些事情不靠谱 就像是用原子prior可以直接抛弃的 ought 里也应该有