G (a -> (F e))
G (F a)
G ((F e) -> d)