Cabal, indexed monad utils