Build a Typed Context Compacti... Note