s = Fun $ \ x -> Fun $ \ y -> Fun $ \ z -> 
    app (app x z) (app y z)
s = Fun $ \ x -> Fun $ \ y -> Fun $ \ z -> 
    app (app x z) (app y z)
s = Fun $ \ x -> Fun $ \ y -> Fun $ \ z -> 
    app (app x z) (app y z)