CSPM.TypeChecker.Compressor

class Compressable a