leastfixedpoint

Archived tweet #6497 from the @leastfixedpoint Twitter Archive
@coreload absolutely. Maybe is a very small type. But it is local, and explicit. Unlike nil on both counts.