Towards High-Order Distribution in Functional Languages