comments on David 's ICNFP2014 proceedings