Sugar.Convert.Hole/HoleEdit: Hole results are immediately written, and not only when picked

Hole results event maps usable from active hole result.

Widget.EventResult is a Monoid