Add Aoj.hs.