The functor from Set X to types preserves filtered colimits

Given X : Type u, the functor Set.functorToTypes : Set X ⥤ Type u which sends A : Set X to its underlying type preserves filtered colimits.

instance Set.instPreservesColimitsOfShapeFunctorToTypesOfIsFilteredOrEmpty {J : Type w} [CategoryTheory.Category.{w', w} J] {X : Type u} [CategoryTheory.IsFilteredOrEmpty J] : CategoryTheory.Limits.PreservesColimitsOfShape J functorToTypes