leastfixedpoint

Archived tweet #1698 from the @leastfixedpoint Twitter Archive
@LH that's one way of looking at it. Of course, you lose the static checks when you unitype everything :-)