Archived tweet #10014 from the @leastfixedpoint Twitter Archive

@jonathoda @arntzenius Hm, wait, it actually doesn't seem very onerous as stated. Maybe it's reasonable to retain, modifying as appropriate for languages without interesting type systems