mk_prop_pt_id etee p_etee i xs n = n > 0 ==>
  runner1 (enumSpecial xs n $ joinI (p_etee i))
  == runner1 (enumSpecial xs n $ joinI (etee i))
 where types = (etee, p_etee, i, xs) :: (Etee, Etee, Itee, [Int])
mk_prop_pt_id etee p_etee i xs n = n > 0 ==>
  runner1 (enumSpecial xs n $ joinI (p_etee i))
  == runner1 (enumSpecial xs n $ joinI (etee i))
 where types = (etee, p_etee, i, xs) :: (Etee, Etee, Itee, [Int])
mk_prop_pt_id etee p_etee i xs n = n > 0 ==>
  runner1 (enumSpecial xs n $ joinI (p_etee i))
  == runner1 (enumSpecial xs n $ joinI (etee i))
 where types = (etee, p_etee, i, xs) :: (Etee, Etee, Itee, [Int])