Data.List.Trace

A cons list with polymorphic nil.

• Trace Void a is an infinite stream

• Trace () a is isomorphic to [a]

Usually used with a being a non empty sum type.

Pretty print a Trace.

Take the first n elements of a Trace, converting each to ().

Take elements from the Trace while the predicate holds, converting each to ().

Drop the first n elements of a Trace.

Drop elements from the Trace while the predicate holds.