disj-sum/e prelude