hof2.fsml

(fn (f : unit -> (unit + unit) -> unit) => f(<>)(inj[unit+unit](1)(<>)))(fn (x : unit) => fn (y : unit + unit) => x)