Types within Taylor-way