Add obtainTerm1 to the GHC api