rocess fn ColourOn
                    = do ist <- getIState
                         putIState $ ist { idris_colourRepl = True }

process fn ColourOn
                    = do ist <- getIState
                         putIState $ ist { idris_colourRepl = True }
process fn ColourOn
                    = do ist <- getIState
                         putIState $ ist { idris_colourRepl = True }