Yoctolens This package exports a Lens type and the lens function for creating values of that type. And that's it. Sorry.