package Ġpl . outside . code Ċ Ċ import Ġdev . ne effect . nee . N ee Ċ import Ġdev . ne effect . nee . No Effect Ċ import Ġdev . ne effect . nee . effects . monitoring . Code Name Finder . guess Code Place Name Ċ import Ġdev . ne effect . nee . effects . monitoring . Trace Provider Ċ Ċ object ĠExternal Object Ġ{ ĊĠĠĠ Ġfun Ġplain Function ( i Ġ: ĠInt ) Ġ= Ġi + 1 ĊĊĠĠĠ Ġfun Ġ< R Ġ: ĠTrace Provider < R >> Ġtrace able Function ( mon : ĠR ) Ġ= ĊĠĠĠĠĠĠĠ Ġmon . get Trace (). put Named Place ( guess Code Place Name ( 2 )). let Ġ{ Ġ_ Ġ-> Ġ:: plain Function } ĊĊĠĠĠ Ġfun Ġcheck Where Code Is Simple ( a : ĠUnit ) Ġ= Ġguess Code Place Name () ĊĊĠĠĠ Ġfun Ġcheck Where Code Is N ee () Ġ= ĠN ee . Companion . pure ( No Effect < Unit , Unit > ()){ Ġ{ _: Unit Ġ-> ĊĠĠĠĠĠĠĠ Ġguess Code Place Name () ĊĊĠĠĠ Ġ} Ġ} Ċ } Ċ