module Control.Monad.Index where


class Index ix where
   getVal::ix