Cleaned up monad composition. SO COOL
Cleaned up monad composition. SO COOL

lijunsong/LambdaS5,logchi/LambdaS5,logchi/LambdaS5,lijunsong/LambdaS5,brownplt/LambdaS5,logchi/LambdaS5,lijunsong/LambdaS5,brownplt/LambdaS5,brownplt/LambdaS5