FullConcreteTypeClass

A concrete type class representation that has all concrete types of its member properties and sealed subclasses computed and cached, recursively, so they can be reusable with re-computation, in a generic algebraic data type fashion.

Note: a concrete type class here refers to a class of a concrete type, not a concrete "type class"/typeclass as in Haskell.

//@param subclassesToCompute the subclasses to compute types, which defaults to kClass's sealed subclasses.