package Ġarrow . core Ċ Ċ import Ġarrow . core . test . Unit Spec Ċ import Ġarrow . core . test . generators . endo Ċ import Ġarrow . core . test . l aws . Mon oid L aws Ċ import Ġarrow . type classes . Mon oid Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . ar bitrary . int Ċ Ċ class ĠEn do Test Ġ: ĠUnit Spec () Ġ{ ĊĠ Ġinit Ġ{ ĊĠĠĠ Ġtest L aws ( ĊĠĠĠĠĠ ĠMon oid L aws . l aws ( Mon oid . endo (), ĠA rb . endo ( Ar b . int ())) Ġ{ Ġa , Ġb Ġ-> ĊĠĠĠĠĠĠĠ Ġa . f ( 1 ) Ġ== Ġb . f ( 1 ) ĊĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ) ĊĠ Ġ} Ċ } Ċ