The example is a bit misleading there. To be more clear using types there's

    xs :: [Maybe Int]
    head xs :: Maybe Int