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