Module Make.Seq

type 'a t = unit -> 'a node
and +'a node =
  1. | Nil
  2. | Cons of 'a * 'a t