substitute :: Int -> TypeExpr -> TypeExpr -> TypeExpr
substitute _ _ (TEConst c) = TEConst c
substitute :: Int -> TypeExpr -> TypeExpr -> TypeExpr
substitute _ _ (TEConst c) = TEConst c
substitute _ _ (TEConst c) = TEConst c