Use lenses in Trace
new Iso for TransInv
Export constructor of Trace
Correct module name in comment
Isos for QDiagram and SubMap
Fix constructor export of QDiagram
New Iso on Envelopes
new Iso for Query type
Replace several explicit Isos with calls to makeLenses
Export constructors of record types (but not field names)
Clarify why TH splice is at end of file
make envelope, trace, subMap into Lens'
export unQD
remove imports subsumed in OrderedField, HasLinearMap
Wrapped instance for newtypes

Trace TransInv QDiagram SubMap Envelope Style Query Name
write Wrapped instances manually

makeWrapped generates type variables with ugly large numbers
Merge pull request #44 from diagrams/lens

Lens