There are universal types, known knowns; there are things we know we know. We also know there are existential types, known unknowns; that is to say we know there are some things we do not know. But there are also bugs, unknown unknowns—the things we don't know we don't know.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.