Padding: add withPadding combinator
Padding: add withPadding combinator

Ignore-this: 5b7199a222d33a1486c28538817d17db

darcs-hash:20110130001606-e018d-13ba6f7a66258b9c3ab8dd7942791925a9a968f2.gz

ktvoelker/vty-ui,KommuSoft/vty-ui