stub function for compile-time lambda abstraction