generate implicitly convertibles