experimented with different ways of encoding do notation; nothing seemed very elegant