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