조건부 타입이 구려

type Deep<T,Q,Type> = {
    0 : T[Q] extends Type ? T[Q] : Deep<T,Q,Type>
    1 : never
}[T[Q] extends undefined ? 1 : 0]

이게머야 시발...

아마 에러뜨겟지만 이런느낌은 츄큼..