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