package Ġarrow . d agger . instances Ċ Ċ import Ġarrow . core .* Ċ import Ġarrow . instances . eval . applic ative . applic ative Ċ import Ġarrow . instances . eval . b imon ad . b imon ad Ċ import Ġarrow . instances . eval . com on ad . com on ad Ċ import Ġarrow . instances . eval . functor . functor Ċ import Ġarrow . instances . eval . mon ad . mon ad Ċ import Ġarrow . type classes .* Ċ import Ġdagger . Module Ċ import Ġdagger . Provides Ċ Ċ @ Module Ċ class ĠEval Instances Ġ{ ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġeval Functor (): ĠFun ctor < For Eval > Ġ= ĠEval . functor () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġeval Applic ative (): ĠApplic ative < For Eval > Ġ= ĠEval . applic ative () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġeval Monad (): ĠMonad < For Eval > Ġ= ĠEval . mon ad () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġeval Com on ad (): ĠCom on ad < For Eval > Ġ= ĠEval . com on ad () ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġeval B imon ad (): ĠB imon ad < For Eval > Ġ= ĠEval . b imon ad () Ċ Ċ }