type Recovery
import bend-kit-journal@0.3.1.0/journal.bend as Journalimport Base
25# The committed records in order, how the input ends, and the input from the first frame not taken.
26type Recovery<a, -P: Kind(a), -S: Type> is Type:
27 Recovery{records: List<a, P>, tail: Tail, rest: S}