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