substTbind :: Eq a => (a,a) -> (a,b) -> (a,b)