def width(doc, fun): return column(lambda k1: happend(doc, \ column(lambda k2: fun(k2 - k1))))
def align(doc): return column(lambda k: nesting(lambda i: nest(k - i, doc)))