package Ġarrow . data Ċ Ċ import Ġarrow . core .* Ċ import Ġarrow . instances . extensions Ċ import Ġarrow . test . Unit Spec Ċ import Ġarrow . test . l aws .* Ċ import Ġarrow . type classes . Eq Ċ import Ġio . kot lint est . K Test JUnit Runner Ċ import Ġorg . junit . runner . RunWith Ċ Ċ @ RunWith ( K Test JUnit Runner :: class ) Ċ class ĠId Test Ġ: ĠUnit Spec () Ġ{ ĊĠ Ġinit Ġ{ ĊĊĠĠĠ ĠFor Id Ġextensions Ġ{ ĊĠĠĠĠĠ Ġtest L aws ( ĊĠĠĠĠĠĠĠ ĠEq L aws . l aws ( Id . eq ( Eq . any ())) Ġ{ ĠId ( it ) Ġ}, ĊĠĠĠĠĠĠĠ ĠShow L aws . l aws ( Id . show (), ĠEq . any ()) Ġ{ ĠId ( it ) Ġ}, ĊĠĠĠĠĠĠĠ ĠMonad L aws . l aws ( this , ĠEq . any ()), ĊĠĠĠĠĠĠĠ ĠTra verse L aws . l aws ( Id . traverse (), Ġthis , Ġ:: Id , ĠEq . any ()), ĊĠĠĠĠĠĠĠ ĠCom on ad L aws . l aws ( this , Ġ:: Id , ĠEq . any ()) ĊĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} ĊĠ Ġ} Ċ } Ċ