Comment by lexicality

No, because the type checker should prevent you interacting with `Unknown` until you tie it down, but `object` is technically a valid type