```ucm:hide
scratch/main> alias.type ##Nat Nat
scratch/main> alias.term ##Any.Any Any
```

```unison
structural type Zoink a b c = Zoink a b c

> Any ()
> [ Zoink [0,1,2,3,4,5] [6,3,3,3,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,3] () ]
```