Add variant t-app to the Type type.