{-# OPTIONS -Wincomplete-uni-patterns #-}
main :: IO ()
main =
  let 5 = 10
  in return ()