Because of the return value. The return value of the function is wrapped into a new Output, so it must be compatible