שליחה במסרון: Typed non-determinism in functional and concurrent calculi