p a [f X] Y : q X, r Y
q X : s X
s a
s b
s [g b a]
r b
r c