Type signatures associate to the right