A composable pattern for pure state machines with effects