2.2 一般的なHaskellの型のテストコード追加