flush
MonoidTape ReferenceCount SemigroupTape
forceBackward
MonoidTape SemigroupTape
forward
CumulativeLayer