Refactor Oracles.hs.