prop_mapStreamPT i = mk_prop_pt_id (Iter.mapStream i) (mapStreamPT i)
prop_mapStreamPT i = mk_prop_pt_id (Iter.mapStream i) (mapStreamPT i)
prop_mapStreamPT i = mk_prop_pt_id (Iter.mapStream i) (mapStreamPT i)