The "About" page that you linked has the code

    x = head xs //x is Some 1

which suggests 'head' is of type 'a -> Option a' and does not have the wart you are talking about.