Why GHC doesn't warn about LHS nullary-constructor pattern bindings?

[Christopher Done]

In your case the Nothing is unused so will never be a problem.

Perhaps more worrying:

foo :: Int -> Int
foo n = x + 1
    where
      Just x = Nothing

This gives no warnings.