pub enum ContractSudoMsg<SomeGeneric>
    where
        SomeGeneric: sylvia::types::CustomMsg,
    {
        InterfaceAssoc(
            <interface_assoc::sv::Api<
                SomeGeneric,
            > as sylvia::types::InterfaceApi>::Sudo,
        ),
        ContractGeneric(SudoMsg),
    }

mod some_interface {
    mod sv {
        // #[sylvia::interface] generates the new trait:
        pub trait InterfaceApi {
            type Sudo;
            type Exec;
            type Query;
        }

        // #[sylvia::interface] implements the above trait for every contract
        // that impelments given interface, in this example `SomeInterface`
        //
        impl<Contract: SomeInterface> InterfaceApi for Contract {
            type Sudo = SudoMsg<SomeInterface::SomeGeneric>
            // type Exec = ExecMsg<SomeInterface::SomeGenericForExec>
            // type Query = QueryMsg<SomeInterface::SomeGenericForQuery>
        }
    }
}

pub enum ContractSudoMsg<Contract> 
where
    Contract: interface_assoc::sv::InterfaceApi,
    // etc. for all other sv::messages
{
    SomeInterface(
        <Contract as some_interface::sv::InterfaceApi>::Sudo,
    ),
    ContractGeneric(SudoMsg),
}