Little Fixes in Monad.hs