Removed lens dependency in anticipation of lens 3.8 not having `Representable`