Harmonize types.

    Now they all sing at the same pitch. Oh, and the compiler
    accepts them without type mismatches.