<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def check(self, value, namespace):
 """ See whether the TypeVar is bound for the first time or is met with _exactly_ the same type as previously. That type must also obey the TypeVar's bound, if any. Everything else is a type error. """

        return namespace.is_compatible(self.typevar, type(value))