let data_of_boolean (x:F.boolean) : data = Data (F.wrap x)