type Shape = Square | Rectangle | Circle;