One can have types for lists as if they are constructed for code and for data. If type is valid for code, you can use it as code. If type is valid for data, you

One can have types for lists as if they are constructed for code and for data. If type is valid for code, you can use it as code. If type is valid for data, you can use it as data. There should be no holes, but non-determinism.