typing: prefix instantiation error with `Type Error`