do exercise on combine/zip. type signatures?