{- Dynamic types -}

new c : ^Dyn 
new d : ^String

run ( 

c?* v = 
  typecase v of 
    [ chan: ^String  v: String ] -> chan!v 
                      stat : Int -> printi! stat 
  else 
    print! "Type not recognized!" 

| c!(dynamic 3)
| c!(dynamic [d "Hello world!"])

| d? m= print!m
)