ExpressibleBy***Literal があるからリテラルの型推論は組合せ爆発が起こるのだと僕は推測してます。