Finite type