finished ::Type class.