# Anonymous sums from scratch

**URL:** <https://discourse.haskell.org/t/anonymous-sums-from-scratch/6402>\
**Category:** Links\
**Created:** [June 12, 2023, 1:17am UTC](https://discourse.haskell.org/t/anonymous-sums-from-scratch/6402 "2023-06-12T01:17:09Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![jship](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/jship/32/4200_2.png) [@jship](https://discourse.haskell.org/u/jship)\
**Post date:** [June 12, 2023, 1:17am UTC](https://discourse.haskell.org/t/anonymous-sums-from-scratch/6402/1 "2023-06-12T01:17:09Z")

</div>

Here’s a tutorial on implementing simple anonymous sums from scratch:

> **[Anonymous sums from scratch](https://jship.github.io/posts/2023-06-11-anonymous-sums-from-scratch/)**
>
> Quick links GitHub repo Intro Haskell has strong support for sum types, but has no built-in notion of anonymous sum types. We must explicitly name the sum type and uniquely label each of its branches:
> data Result e a = Error e | Success a base...