hw7_3: fixed (Opt x) to (Sum (Empty, x))