fay-0.19: tests/succPred.hs

module SuccPred where

main = do
  print (succ 1 :: Int)
  print (pred 1 :: Int)