Data.Machine.Plan
type Plan k o a
runPlan
data PlanT k o m a
yield
maybeYield
await
stop
awaits
exhaust