title: If functions as instances of the Show typeclass
body: <p>Functions aren't instances of the Show typeclass, so one cannot see it in neat form. But compiler has it somewhere on which it returns fails. </p>
  
  <p>So why it is not possible to show it and if it can be what it will look like?
   I shall be thankful if you could take some trivial example to state this. </p>