def List.show

Base · base.bend:2435

2435def List.show(~a: Quant, ~A: Kind(a), ~f: A -> String, xs: List<a, A>) ->
2436  String:
2437  match xs:
2438    case Nil{}:
2439      "[]"
2440    case h <> t:
2441      "[" ++ f(h) ++ List.show.go(~a, ~A, ~f, t)