1 2 3 4 5 6
Type error: error: MergeEmptyNeedsAnnotation --> <current file>:1:14 | 1 | \(x: <>) -> (merge {=} x) : Bool | ^^^^^^^^^^^ MergeEmptyNeedsAnnotation |