leastfixedpoint

Archived tweet #2279 from the @leastfixedpoint Twitter Archive
@michaeljforster '\'\'\'\'\'' '''''''''''' yeah, OK ;-) though one might write {prefix ++ ''''' * 5 ++ suffix} instead!