leastfixedpoint

Archived tweet #11561 from the @leastfixedpoint Twitter Archive
What the compiler doesn't know is that any given program can only ever explore a finite subset of these types.