6 ms·Auto as Category, Applicative and Arrow (Intro to Machines/Arrows Part 2)3 points by wollw 12y ago