leastfixedpoint

Archived tweet #12037 from the @leastfixedpoint Twitter Archive
@LeahNeukirchen Overload literal `1` so that `1 x = x` :-)