I\'m trying to make lenses for a slightly complex GADT, and finding it doesn\'t want to generate one for one of my constructors. The code looks like this:
