<p>OH: &quot;could you imagine playing solitaire in the type system? like your program wouldn&#39;t typecheck until you finish a game of solitaire&quot;</p>