Int型の数値の確認 Prelude> 1 1 Prelude> :t 1 1 :: Num a => a Int型の配列の型の確認 Prelude> :t [1] [1] :: Num t => [t] Maybe Int型の型の確認 Prelude> :t Just 1 Just 1 :: Num a => Maybe a returnしたときの型の確認 このでは何のMonadであるかは…