'#Uq_engines_compat.engine ->
('-> '#Uq_engines_compat.engine) -> ['b] Uq_engines_compat.engine