Cast type

Signature:

export type Cast<A, B> = A extends B ? A : B;