Making map's implementation as a derivation from `bind` and `of`