let rec val_of = function Pnamed (_,p) -> val_of p | p -> p