Sum types (10/18)

Sum types