lucky :: (Integral a) => a -> String
lucky 7 = "lucky number!"
lucky x = "Sorry!"