AST.CC and Typed.CC are isomorphic