package Ġarrow Kt . sandbox . fx 0 1 čĊč Ċ import Ġarrow . type classes .* č Ċ import Ġarrow . core . extensions .* č Ċ import Ġarrow .* č Ċ import Ġarrow . core .* č Ċ import Ġarrow . type classes .* č Ċ import Ġarrow . core . extensions .* č Ċ import Ġarrow . core . extensions . fx č Ċ fun Ġtake Food From Ref rig erator (): ĠOption < Let t uce > Ġ= ĠNone č Ċ fun Ġget Kn ife (): ĠOption < Kn ife > Ġ= ĠNone č Ċ fun Ġprepare ( tool : ĠKn ife , Ġingredient : ĠLet t uce ): ĠOption < Sal ad > Ġ= ĠSome ( Sal ad ) čĊč Ċ object ĠLet t uce č Ċ object ĠKn ife č Ċ object ĠSal ad čĊč Ċ fun Ġprepare L unch Option (): ĠOption < Sal ad > Ġ= čĊĠĠĠ ĠOption . fx Ġ{ čĊĠĠĠĠĠĠĠ Ġval Ġlet t uce Ġ= Ġtake Food From Ref rig erator (). bind () čĊĠĠĠĠĠĠĠ Ġval Ġkn ife Ġ= Ġget Kn ife (). bind () čĊĠĠĠĠĠĠĠ Ġval Ġsal ad Ġ= Ġprepare ( knife , Ġlet t uce ). bind () čĊĠĠĠĠĠĠĠ Ġsal ad čĊĠĠĠ Ġ} čĊč Ċ fun Ġmain () Ġ{ čĊĠĠĠ Ġprintln ( prepare L unch Option ()) č Ċ }