Instances for Coproduct/Product and Free/Cofree.
Added zapWith for adjunctions.