Type Alias CanonicalRowType<R>

CanonicalRowType: {
    [K in keyof R]: R[K] extends CanonicalizableType
        ? CanonicalType<R[K]>
        : R[K] extends Any<unknown, 0 | 1> ? R[K] : never
}