Typenscheine für ZERO S ZF?