Метод, который возвращает список размера n в Shapeless

Можно ли заставить работать следующий код?

def zeroTo[N <: Nat]:Sized[List[Int], N] = {
  new Sized[List[Int], N](List.iterate(0, toInt[N])(1+)) {
    type A = Int
  }
}

Я получаю сообщение об ошибке компиляции: «Не удалось найти неявное значение для параметра toIntN :shapeless.ToInt[N]».