Added a note about a possible extension we could make to prelude.
Small notes