moved highlight.hs to version 8.0