creachadair, 2 months ago @danderson I don't know either, though this smells like burnt syntactic sugar.
@danderson I don't know either, though this smells like burnt syntactic sugar.