basis for sum types