Copyright
lenses
removing data-lens
removed data-lens and newtype