I notice there's no instance of lens's Field[n] for Points over, say, V3. Since there's an instance of R[n], I'm guessing this is an oversight. Is there a particular reason we'd like lenses _x, _y, _z... but not _1, _2, _3..., or could this instance be added?
I notice there's no instance of
lens
'sField[n]
forPoint
s over, say,V3
. Since there's an instance ofR[n]
, I'm guessing this is an oversight. Is there a particular reason we'd like lenses_x
,_y
,_z
... but not_1
,_2
,_3
..., or could this instance be added?