Added a note on an example of inference from Prelude