renaming IxMonad to Effect
renaming of IxMonad to Effect