added type of higher order function to kernel invocation function