Type Alias CanPromote<A, B>

CanPromote: Promote<A, B> extends never ? false : true

Check if two DTypes can be promoted together

type CanPromote = CanPromote<Int32, Float32> // true
type CanPromote2 = CanPromote<Bool, Int64> // true