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