Вечер добрый, новичок совсем, пытаюсь решить одну задачку и никак

Question

Вечер добрый, новичок совсем, пытаюсь решить одну задачку и никак

не получается одолеть эффекты
Написал функцию, принимающую в себя список значений, которая их берет и вызывает другую функцию, уже с эффектами
def checkKeyAcc(usedKeys: Set[Key], unusedKeys: Set[Key], team: Team, lock: (Team, Key) => F[Boolean]):(Set[Key], Set[Key]) = unusedKeys toList match {
case Nil => (usedKeys, unusedKeys)
case head::tail => lock(team, head).map(x => {
if (x) {
isSomebodyWin.tryModify(team => (team, None))
(usedKeys, unusedKeys)
}
else {
checkKeyAcc(unusedKeys + head, tail.toSet, team, lock)
}
})
}
Проблема в несовпадении типов, у Nil он без эффекта, а в хвосте - наоборот с эффектом. Не понимаю, как это побороть и привести обе части к единообразию, возможно ли это вообще? Подозреваю, что надо в случае написания рекурсивных функций с эффектами со списочными аккамуляторами пользоваться Ref?