(^) void returns for calls
(^) (void) => Tuple of size 0
(^) asyncs can share memory with sync