basic sample with "pattern_matching" over sum types passes