def list.heads
import bend-kit-property@0.4.0.0/shrink.bend as Shrinkimport Base
67def list.heads(-A: Data, cs: List<&1, A>, +t: List<&2, A>) -> List<&1, List<&2, A>>:
68 match cs:
69 case Nil{}:
70 Nil{}
71 case c <> r:
72 (c <> t) <> list.heads(A, r, t)