Deprecated.

A JoinList - a list type with with cheap catenation.

The earliest attribution have found is to Richard Bird. An implementation exists in york-lava.

Cameo appearances: