import Sound.DF.Uniform.GADT {- hdf -} -- > draw silence silence :: DF () silence = out1 0.0 -- > audition_text 12 silence main :: IO () main = audition_rju [] silence