idris: jailbreak to fix build with recent version of 'lens'