prop_convStreamPT = mk_prop_pt_id (convStream getChunk) (convStreamPT getChunk)
prop_convStreamPT = mk_prop_pt_id (convStream getChunk) (convStreamPT getChunk)
prop_convStreamPT = mk_prop_pt_id (convStream getChunk) (convStreamPT getChunk)