Use a canonicalized representation of a Type when memoizing Codex instances.