Type computation for failed\nUnknown function used in definition, indexing into constants is not yet supported

Type computation for failed\nUnknown var used in type definition

cdr