template walking and FP goodness