Switching on a common literal property.
kind: 'circle'
s.kind === 'circle'
type Shape = any; // TODO function area(s: Shape) { // TODO }