Work on sum type.