Class PartitionStrategy.TypeChecker<A>