A type that requires the given type T to have a field property.
T
field
type WithField<T> = T & {field: Field<unknown>}