binds wa wb (v:vs) kont = do
    bind  wa wb v  $ \v'  -> do
    binds wa wb vs $ \vs' -> do
    kont (v':vs')

-- Substitution
binds wa wb (v:vs) kont = do
    bind  wa wb v  $ \v'  -> do
    binds wa wb vs $ \vs' -> do
    kont (v':vs')

-- Substitution
binds wa wb (v:vs) kont = do
    bind  wa wb v  $ \v'  -> do
    binds wa wb vs $ \vs' -> do
    kont (v':vs')

-- Substitution