rocess fn ColourOff
                     = do ist <- getIState
                          putIState $ ist { idris_colourRepl = False }

process fn ColourOff
                     = do ist <- getIState
                          putIState $ ist { idris_colourRepl = False }
process fn ColourOff
                     = do ist <- getIState
                          putIState $ ist { idris_colourRepl = False }