leastfixedpoint

Archived tweet #11800 from the @leastfixedpoint Twitter Archive
@slava_pestov , but unironically (OK maybe X.500 is going a bit far)