a->b->c ^ | | v e<-d