module test import StdArray someint :: *{Int} someint = {1,2,3} uid :: .a -> .a uid x = x toDyn :: *a -> *Dynamic toDyn a = dynamic a Start = toDyn someint