Class ShouldHaveExactlyTypes