exchange package:lens

This is used internally by the Iso code to provide efficient access to the two functions that make up an isomorphism.