solve commutativity problem by using flip on binary functions. rewrite deepApply to be more intuitive
solve commutativity problem by using flip on binary functions. rewrite deepApply to be more intuitive
ggreif/al4nin,ggreif/al4nin