Archived tweet #9468 from the @leastfixedpoint Twitter Archive

@jeremywsherman @DRMacIver Interesting. This is like the approach Typed Racket takes to hiding concrete values when you use a "parametric contract". You get given an opaque blob with no accessors. It's a very strong constraint, so you want to have a way to say "Any" too, allowing ~occurrence typing