1. 1995-11-13 Re: Reasoning with monads haskell Sheng Liang 2. 1995-11-07 Re: Reasoning with monads haskell Andrew Gordon