@define llength(l){
  switch (l) {
    @match nil : return 0;
    @match <| _,t |> : return llength(t)+1;
  }
};

print(llength(<| 1, <| 2, <| 3, <| 4, nil |> |> |> |>));