Extract Options.hs