def List.tail

Base · base.bend:971

971def List.tail(a, -A: Kind(a), xs: List<a, A>) -> List<a, A>:
972  match xs:
973    case Nil{}:
974      Nil{}
975    case h <> t:
976      t