second reverse (1,"test") == (1,"tset")
second3 succ (1,1,1) == (1,2,1)
secondM (\x -> [reverse x, x]) (1,"test") == [(1,"tset"),(1,"test")]