> It provides a way to describe an input that must be a certain class.

This sounds a bit awkward. Maybe something like, "It provides a means to ensure that an object is a certain class."