hyper_function: have y