``` ucm :hide
scratch/main> builtins.mergeio
```


``` unison
structural type M a = N | J a

d = {{

{{ docExample 0 '(x -> J x) }}

{J}

}}
```

``` ucm
scratch/main> add
scratch/main> display d
```