pc <*> p ($ a) <*> p (((((((c c) c) c) c) c) c) a) <*> x <*> y <*> z