>>203
id :: a -> a だけど (+0) :: (Num a)=> a -> a なんじゃね