Flow provides a set of utility types to operate on other types to create new types.