Linear Types Can Change The World