Demonstrate Maybe type in "Haskell introduction"

[rlaemmel]

We may use it perhaps in the context of "ranking".
Anyway, something should be possible without coming up with another feature or contribution.