let
a f x = s (f x)