main = match (5 :: Integer) with
  (1 :: Integer) -> "wrong"
  (2 :: Integer) -> "wrong"
  (5 :: Integer) -> "right"
  (6 :: Integer) -> "wrong"
  _ -> "wrong"
--
right