It is always profitable to have a sharper static type as it allows the compiler to have more information. In the future, sharper type may help with better calling ABI, too.