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