value = ()
  where x | True = ()
          | otherwise = ()