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