'a #Uq_engines.engine -> 'b #Uq_engines.engine -> ['a * 'b] Uq_engines.engine