Нетлого - член одной породы задает переменную величину члена другой породы

Вы можете использовать оператор of, который будет возвращать список переменных всех пород B и C

let varsForBs [var] of B-here
let varsForCs [var] of C-here

Если у вас есть только один B и C, вы можете просто взять первый элемент из список.