This during match compilation in the inner match, see the more minimal example getLamBody?. It is a workaround to manually generalize the index. I was hoping that adding a reducible predicate that ...

Background: School-based vision screening plays a vital role in identifying visual problems at an early stage. There is limited evidence on the frequency of visual impairment and its associated risk ...