registry(type(registry), args([arg(type(shoplist))])).
getcc(type(getcc), args([arg(type(cc))])).
selector(type(selector), args([arg(type(list)), arg(type(shop))])).
equal(type(equal), args([arg(type(_)), arg(type(_))])).
