module T18251f where f ! x y = x + y