Instances for Coproduct/Product and Free/Cofree.
Added zapWith for adjunctions.
Merge pull request #2 from sjoerdvisscher/master

Additional instances and zapWith.