merge {=} (< x : Bool >.x True)