def List.last

Base · base.bend:985

985def List.last(a, -A: Kind(a), xs: List<a, A>) -> Maybe<a, A>:
986  match xs:
987    case Nil{}:
988      None{}
989    case h <> t:
990      Some{List.last.go(a, A, t, h)}