{Hive} implemented using Eliom