scala monad logic programming applicative extensible effects haskell
Ver mais