def List.take

Base · base.bend:1010

1010def List.take(a, -A: Kind(a), xs: List<a, A>, n: Nat) -> List<a, A>:
1011  match xs n:
1012    case Nil{} _:
1013      Nil{}
1014    case h <> t 0n:
1015      Nil{}
1016    case h <> t 1n+p:
1017      h <> List.take(a, A, t, p)