Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code