Archived tweet #11955 from the @leastfixedpoint Twitter Archive@dubroy Yes indeed! In a way, it's already handled with assert - see git.syndicate-lang.org/tonyg/dubroy-uā¦ - but could be done without fields, too. awaitClick would take x/y, and each state would assert Position(x, y). Prob transition on move evt, too.
