Outer syntax error in Isabelle when declaring type classes?

Question

I am experimenting the following prototypical example of type classes from classes.pdf in Isabelle 2020. The code below is stored in a file called classes.thy e