generalizing sequence interms of traverse
more stuff on applicatives added