17 lines (11 loc) · 332 Bytes

To consider

Optimize implementation of sum for size (e.g. when all of the variants are empty).
Generalize tycon
Implement basic recursion schemes
Optimize representation of
```
shared<sum<...>>
```
Do not enable conversions of sums and products in case conversions of elements do not exist.