⟅foo⟆
⟅⟅foo⟆⟆
⟅a → b⟆