gistfile1.txt

19:21 < Chousuke> biribau: I don't think there's any haskell equivalent for it 
                  :/
19:21 < Chousuke> biribau: with-monad establishes a context where all monad 
                  operations are in the specified monad
19:21 < SynrG> wlangstroth: yes. we are tiny dinosaurs who have so far survived 
               the meteor impact and aspire to some day evolving into birds
19:22 -!- pd [~user@unaffiliated/pd] has quit [Remote host closed the 
          connection]
19:22 < wlangstroth> SynrG: hey, the crocodiles and sharks made it ... I'm not 
                     sure which COBOL would be, but that's still big in banking
19:22 < Chousuke> biribau: you can't use monadic functions without setting up 
                  the context first. and domonad is just the equivalent of the 
                  haskell do notation. If you use it within a with-monad 
                  context you don't need to explicitly specify the monad to use
19:23 < Chousuke> biribau: though this is all from memory so I'm not sure if 
                  it's entirely accurate.
19:24 -!- grove [~grove_@37.146.16.62.customer.cdi.no] has quit [Quit: grove]
19:24 < Chousuke> biribau: I suppose with-monad does what you get for "free" 
                  with the haskell type system