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