Sandro writes: >MarkM clarified in a follow-up: types wouldn't have helped if you want >to retain transparent intermediation. Ahh, my apologies for missing that. Can you explain why we'd want transparent intermediation? Are we talking about the membrane pattern, or something like that?