Text this: Type-safe higher-order channels with channel locality.