Remove use of -> that is not in Kiama 2.0