instance Num Bool where
  (+) = (||)
  (*) = (&&)
  x - y = x + negate y
  negate = not
  abs    = id
  signum = id
  fromInteger 0 = False
  fromInteger _ = True

main = putStrLn 
     $ if (0 :: Bool) == 1 - 1 then "Kochi" else "Sochijanaiyo"

Sochijanaiyo