module Control.Monad.Index where


class Index ix where
   getVal::ix

flip23 :: (a->b->c->d) -> a -> c -> b -> d
flip23 f a b c = f a c b