Pure Functional Pruning