Mon Apr 28 18:16:47 EDT 2008

simplified sequencer

maybe an explicit sequencer isn't necessary..

a b c >asm d e f

what should '>asm' do? obtain the continuation (d e f) and obtain the
state from somewhere. so what it should pass to the driver is a
procedure that takes a state and a continuation and produces a state.

mix  (state  k:type->state) -> state

this looks like 'bind'  (Ma a->Mb) -> Mb