B.Aliased を型推論させると当然のように Double に解決されるんですけどね。