Function amend

Returns { intersect<T>(): S | T; union<T>(): T & S }