Archived tweet #9491 from the @leastfixedpoint Twitter Archive

@acid2 (I should have said: "types sometimes prove presence or absence of good or bad behavior. Other times, they're not powerful enough to give an answer either way.")