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