package Ġarrow . d agger . instances Ċ Ċ import Ġarrow . instances .* Ċ import Ġarrow . type classes . Eq Ċ import Ġarrow . type classes . Mon oid Ċ import Ġarrow . type classes . Sem ig roup Ċ import Ġdagger . Module Ċ import Ġdagger . Provides Ċ Ċ @ Module Ċ class ĠString Instances Ġ{ ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġstring Sem ig roup (): ĠSem ig roup < String > Ġ= ĠString . sem ig roup () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġstring Mon oid (): ĠMon oid < String > Ġ= ĠString . mon oid () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġstring Eq (): ĠEq < String > Ġ= ĠString . eq () Ċ Ċ }