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