buildlvs cs lv x = (x, lv) : ((cs ! x) >>= (buildlvs cs (succ lv)))
buildlvs cs lv x = (x, lv) : ((cs ! x) >>= (buildlvs cs (succ lv)))
buildlvs cs lv x = (x, lv) : ((cs ! x) >>= (buildlvs cs (succ lv)))