練習問題 3.1.1

正整数を再帰データ型として構成せよ．

data PosInt = One | Suc PosInt 
  deriving (Eq,Ord,Show)