package Ġk fx Ċ Ċ interface ĠTra verse With < M > Ġ{ ĊĊĠĠĠ Ġfun Ġ< T , ĠR > Ġtraverse ( list : ĠList < T >, Ġfunction : Ġ( T ) Ġ-> ĠMonad < M , ĠR >): ĠMonad < M , ĠList < R >> Ċ Ċ } Ċ Ċ fun Ġ< T , ĠR , ĠM Ġ: ĠMonad < *, Ġ* >> ĠList < T >. traverse ( traverse With : ĠTra verse With < M >, Ġfunction : Ġ( T ) Ġ-> ĠMonad < M , ĠR >) Ġ= ĊĠĠĠĠĠĠĠ Ġtraverse With . traverse ( this , Ġfunction ) Ċ