Type and Instance classes refinements