\bag{foo} \{bag\bag{foo}\}bag. \bag{a \to b}