mapM00.hs

import Control.Monad.State

-- 人
data Person = Person { name :: String  -- 名前
                     , age  :: Int     -- 年齢
                     } deriving Show 

-- グループ
data Group = Group [Person] deriving Show

-- グループに人を追加
addPerson'              :: Person -> Group -> Group
addPerson' p (Group ps) = Group (ps++[p])

-- State モナドに型を合わせた addPerson 関数
addPerson              :: Person -> Group -> ((), Group)
addPerson p (Group ps) = ((), Group (ps++[p]))

-- 人が空っぽのグループ
g = Group []

-- グループに「太郎、次郎、花子」を追加する関数
addPs0 = do State $ addPerson $ Person "Tarou"  10
            State $ addPerson $ Person "Jirou"  20
            State $ addPerson $ Person "Hanako" 30