lessThan :: Int -> Int -> Validation
lessThan m n | n < m     = OK
             | otherwise = ERR "number too big!"
lessThan :: Int -> Int -> Validation
lessThan m n | n < m     = OK
             | otherwise = ERR "number too big!"
lessThan m n | n < m     = OK
             | otherwise = ERR "number too big!"