Loon is a functional language with invisible types, safe ownership, and algebraic effects, designed...