Higher order functions functionali reduce reduced flip foldr curry threadf threadl trampoline comp reduce reduced flip foldr curry threadf threadl trampoline comp