Գրեք սա: Typed non-determinism in functional and concurrent calculi