Transform fa using f, collecting all the Gs with ap.
Traverse with the identity function.
(Since version ) see corresponding Javadoc for more information.
Inspired from the scalaz (https://github.com/scalaz/scalaz) project