arguments are of the correct function type now