value = let x | True = ()
              | otherwise = ()
        in ()