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