float -> 'a #Uq_engines_compat.engine -> [unit] Uq_engines_compat.engine