09Idiom: fix typo in dist type
09Idiom: define traverse using dist
applicative-quoters
accumulating errors - note on Writer monad
09Idiom: <> instead of mappend