Computing lenses generically using generics-sop - View it on GitHub