colourisePostulate :: ColourTheme -> String -> String
colourisePostulate t = colourise (postulateColour t)
colourisePostulate :: ColourTheme -> String -> String
colourisePostulate t = colourise (postulateColour t)
colourisePostulate t = colourise (postulateColour t)