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