Type error: error: MergeEmptyNeedsAnnotation
 --> <current file>:1:13
  |
1 | \(x: <>) -> (merge {=} x) : Bool
  |              ^^^^^^^^^^^ MergeEmptyNeedsAnnotation
  |
