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