zpearce
09/04/2021, 5:32 PMzpearce
09/04/2021, 5:41 PMsimon.vergauwen
09/04/2021, 6:07 PMsimon.vergauwen
09/04/2021, 6:09 PMsimon.vergauwen
09/04/2021, 6:09 PM@optics([Lens])
simon.vergauwen
09/04/2021, 6:11 PMIso
which is only possible up to 22 parameters, because in Arrow we had tuple3-22 on top of Pair
.
If tuples ever make it into the language then we could do this for N params, but currently we’re limited by the explicitly defined tuples.zpearce
09/04/2021, 6:13 PMMarius Kotsbak
09/14/2021, 9:15 AMsimon.vergauwen
09/14/2021, 9:18 AM