Lossen interface: (ImmuList->List) (ImmuMap->Map)