1 |> f . f = a -> a + 1