isNat :: String -> Bool
isNat s = all isDigit s && not (null s) && length s < 11
isNat :: String -> Bool
isNat s = all isDigit s && not (null s) && length s < 11
isNat s = all isDigit s && not (null s) && length s < 11