leastfixedpoint

Archived tweet #6838 from the @leastfixedpoint Twitter Archive
@noelwelsh great right up until the end. IO values must have more structure than bools, even if not exposed.