Archived tweet #11934 from the @leastfixedpoint Twitter Archive

@lexi_lambda I'm embarrassed to admit I was confused about negative stretch vs a shrink. I've refreshed my memory: now I reckon negative stretch is probably just "oh integers are signed" and having Nat instead of Int would work out just fine