Semigroup型クラス

定義

code:hs

class Semigroup a where

(<>) :: a -> a -> a

故に、Monoidの定義をするときに、Semigroupのインスタンスになっていないとエラーが出る

code:error

Example.hs:8:10: error:

・ No instance for (Semigroup Metrics)

arising from the superclasses of an instance declaration

・In the instance declaration for ‘Monoid Metrics’

fp-ts