Work on sum types.