>But now I claim that their composition `foo bar` never crashes (on `head`); can you prove me right or wrong? Mu. But I can prove that your argument is not wel

>But now I claim that their composition `foo bar` never crashes (on `head`); can you prove me right or wrong? Mu. But I can prove that your argument is not well-formed. 1. That is not composition it is application. (This is not simply terminology, you using application is what allows you to reference bar inside foo) 2. The actual composition of those functions (foo . bar) is not valid Haskell and would not typecheck.