val nil_type: Types.descr val nil_atom: Types.atom
val any: Types.descr val seqseq: Types.descr val concat: Types.descr -> Types.descr -> Types.descr val flatten: Types.descr -> Types.descr val map: (Types.descr -> Types.descr) -> Types.descr -> Types.descr
