I'm a big fan of linear typing but I think of it as more like "consuming" the in...

		lmm on May 14, 2018 \| parent \| context \| favorite \| on: Conversations with a six-year-old on functional pr... I'm a big fan of linear typing but I think of it as more like "consuming" the input than "changing" it.