Type error: error: MergeAnnotMismatch
 --> <current file>:1:1
  |
1 | merge { x = 0 } < x >.x : Bool
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeAnnotMismatch
  |