リストインスタンスは半群なのよっ
試しにもうひとつ、Semigroup [a]
型と(++)
演算子が半群であることを確認してみましょう。
-- リストは半群である
instance Semigroup [a] where
sappend = (++)
sgTestList :: IO ()
sgTestList = let sgLawAp' = sgLawAp :: [Float] -> [Float] -> [Float] -> Bool
in quickCheck sgLawAp'