The (abstract) type of reporter functions used by the manual lifecycle management functions in Display. An 'a t is conceptually an 'a -> unit function, but can be explicitly finalised.

finalise t terminates rendering of the line associated with reporter t. Attempting to report to a finalised reporter will raise an exception.

A heterogeneous list type, used by Display for returning a list of reporters corresponding to multi-line progress displays.