export declare const make: <Type extends MetricKeyType.MetricKeyType<any, any>>(
  metricKey: MetricKey.MetricKey<Type>,
  metricState: MetricState.MetricState<MetricKeyType.MetricKeyType.OutType<Type>>
) => MetricPair.Untyped

export interface MetricPair<out Type extends MetricKeyType.MetricKeyType<any, any>>
  extends MetricPair.Variance<Type>,
    Pipeable {
  readonly metricKey: MetricKey.MetricKey<Type>
  readonly metricState: MetricState.MetricState<MetricKeyType.MetricKeyType.OutType<Type>>
}

export declare const MetricPairTypeId: typeof MetricPairTypeId

export type MetricPairTypeId = typeof MetricPairTypeId

export declare const unsafeMake: <Type extends MetricKeyType.MetricKeyType<any, any>>(
  metricKey: MetricKey.MetricKey<Type>,
  metricState: MetricState.MetricState.Untyped
) => MetricPair.Untyped

export interface Untyped extends MetricPair<MetricKeyType.MetricKeyType<any, any>> {}

export interface Variance<out Type extends MetricKeyType.MetricKeyType<any, any>> {
  readonly [MetricPairTypeId]: {
    readonly _Type: Types.Covariant<Type>
  }
}