The polymorphic part isn't especially important for the tutorial, but we should note that structural equality is spelt `=` rather than `==`.