TypeVar type family moved to Expr