Operations for small ordered sum types - View it on GitHub