Switch to lens 3.8
Oops: Exporting a type was implemented as 'undefined'