leastfixedpoint

Archived tweet #7091 from the @leastfixedpoint Twitter Archive
@DRMacIver Hmm. Curious as to whether the result satisfies expected identities.