extensible-0.4.2: Extensible, efficient, optics-friendly data types and effects