let some_alpha pool x = Some(F.freshen pool x)