Data.Machine.Type
data MachineT m k o
data Step k o r
type Machine k o
runT_
runT
run
runMachine
encased
construct
repeatedly
unfoldPlan
before
preplan
deconstruct
tagDone
finishWith
fit
fitM
pass
starve
stopped
stepMachine
class Appliance k