one :: Int -> Bool
one x | x==0 = True

-- Could also be inferred:
--one'nonfail :: Int -> Bool
--one'nonfail v1 = v1 == 0