Pretty printing for sequence computations